diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-09-20 20:22:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-20 20:22:43 +0200 |
| commit | 25a1bfed5c56880cba009f0d5fbc3e1a182e07b1 (patch) | |
| tree | 41da2cb49344297008339be393a9a40e95ceab4c /modules/gdscript | |
| parent | ae3c685042fba134eaa22b4ce27c1b1c6702f274 (diff) | |
| parent | ba566dff2e7c3f98b0ea6e088843e4d9aaa8b531 (diff) | |
Merge pull request #32210 from Calinou/editor-log-distinguish-messages
Distinguish editor-originating messages in the editor log
Diffstat (limited to 'modules/gdscript')
| -rw-r--r-- | modules/gdscript/language_server/gdscript_language_server.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/gdscript/language_server/gdscript_language_server.cpp b/modules/gdscript/language_server/gdscript_language_server.cpp index 9bea4557ac..62c212a2bd 100644 --- a/modules/gdscript/language_server/gdscript_language_server.cpp +++ b/modules/gdscript/language_server/gdscript_language_server.cpp @@ -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() { |