summaryrefslogtreecommitdiff
path: root/tools/editor/plugins/script_editor_plugin.cpp
diff options
context:
space:
mode:
authorJuan Linietsky <reduzio@gmail.com>2015-12-12 10:14:13 -0300
committerJuan Linietsky <reduzio@gmail.com>2015-12-12 10:14:13 -0300
commita2d817405e42ec0a23803d9e0633ccd9f5ae1863 (patch)
treea18efeb17221a8c8b87715013a12843078dba3c6 /tools/editor/plugins/script_editor_plugin.cpp
parentcd4c3f4d12d91eb23773991f1d2a0895c078a751 (diff)
parentc3db5d951c1ee938a0c789c78a9bb8045ef8605b (diff)
Merge branch 'master' of https://github.com/godotengine/godot
Diffstat (limited to 'tools/editor/plugins/script_editor_plugin.cpp')
-rw-r--r--tools/editor/plugins/script_editor_plugin.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/editor/plugins/script_editor_plugin.cpp b/tools/editor/plugins/script_editor_plugin.cpp
index 742a115c5f..4332ba57a3 100644
--- a/tools/editor/plugins/script_editor_plugin.cpp
+++ b/tools/editor/plugins/script_editor_plugin.cpp
@@ -605,6 +605,7 @@ void ScriptEditor::_show_debugger(bool p_show) {
debug_menu->get_popup()->set_item_checked( debug_menu->get_popup()->get_item_index(DEBUG_SHOW), p_show);
+ debugger->set_always_visible(p_show);
}
void ScriptEditor::_script_created(Ref<Script> p_script) {
@@ -1350,7 +1351,6 @@ void ScriptEditor::_menu_option(int p_option) {
debugger->debug_continue();
} break;
-
case HELP_CONTEXTUAL: {
String text = current->get_text_edit()->get_selection_text();
if (text == "")