godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-12 13:20:55 +00:00
Code Releases Wiki Activity

Fix toggle scripts panel to allow using shortcut in other areas

Browse Source
This commit is contained in:
Yuri Roubinsky
2019-12-17 16:51:49 +03:00
parent accf68b2cc
commit 03928c5b36
5 changed files with 32 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
editor/plugins/script_editor_plugin.h
View File

@@ -419,7 +419,7 @@ protected:
public:
static ScriptEditor *get_singleton() { return script_editor; }
bool toggle_scripts_panel();
bool toggle_scripts_panel(CodeTextEditor *p_editor);
bool is_scripts_panel_toggled();
void ensure_focus_current();
void apply_scripts() const;