mirror of
https://github.com/godotengine/godot.git
synced 2025-10-20 08:23:29 +00:00
Distinguish editor-originating messages in the editor log
This fades out messages originating from the editor to make messages printed by the project stand out more. This also tweaks wording in some editor messages for consistency.
This commit is contained in:
parent
2add51d082
commit
ba566dff2e
7 changed files with 25 additions and 20 deletions
|
@ -64,7 +64,7 @@ void GDScriptLanguageServer::thread_main(void *p_userdata) {
|
|||
void GDScriptLanguageServer::start() {
|
||||
int port = (int)_EDITOR_GET("network/language_server/remote_port");
|
||||
if (protocol.start(port) == OK) {
|
||||
EditorNode::get_log()->add_message("** GDScript Language Server Started **");
|
||||
EditorNode::get_log()->add_message("--- GDScript language server started ---", EditorLog::MSG_TYPE_EDITOR);
|
||||
ERR_FAIL_COND(thread != NULL || thread_exit);
|
||||
thread_exit = false;
|
||||
thread = Thread::create(GDScriptLanguageServer::thread_main, this);
|
||||
|
@ -78,7 +78,7 @@ void GDScriptLanguageServer::stop() {
|
|||
memdelete(thread);
|
||||
thread = NULL;
|
||||
protocol.stop();
|
||||
EditorNode::get_log()->add_message("** GDScript Language Server Stopped **");
|
||||
EditorNode::get_log()->add_message("--- GDScript language server stopped ---", EditorLog::MSG_TYPE_EDITOR);
|
||||
}
|
||||
|
||||
void register_lsp_types() {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue