diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-12-12 10:14:13 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-12-12 10:14:13 -0300 |
| commit | a2d817405e42ec0a23803d9e0633ccd9f5ae1863 (patch) | |
| tree | a18efeb17221a8c8b87715013a12843078dba3c6 /tools/editor/plugins | |
| parent | cd4c3f4d12d91eb23773991f1d2a0895c078a751 (diff) | |
| parent | c3db5d951c1ee938a0c789c78a9bb8045ef8605b (diff) | |
Merge branch 'master' of https://github.com/godotengine/godot
Diffstat (limited to 'tools/editor/plugins')
| -rw-r--r-- | tools/editor/plugins/script_editor_plugin.cpp | 2 |
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 == "") |