diff options
author | Tomasz Chabora <kobewi4e@gmail.com> | 2020-12-08 22:51:48 +0100 |
---|---|---|
committer | Tomasz Chabora <kobewi4e@gmail.com> | 2020-12-09 12:12:36 +0100 |
commit | 2c048ea16429cfa4e6b200a4fe519ee9db7c3f99 (patch) | |
tree | 5648e173188bd43a31624dda5e6e5cc02e31dbc4 /editor/plugins/script_editor_plugin.h | |
parent | 90bdba576af2d5f0a8ecdbef065d6ef0075bc2f2 (diff) | |
download | redot-engine-2c048ea16429cfa4e6b200a4fe519ee9db7c3f99.tar.gz |
Cleanup unused engine code
Diffstat (limited to 'editor/plugins/script_editor_plugin.h')
-rw-r--r-- | editor/plugins/script_editor_plugin.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/editor/plugins/script_editor_plugin.h b/editor/plugins/script_editor_plugin.h index 08c6a2fba7..aafd8cba18 100644 --- a/editor/plugins/script_editor_plugin.h +++ b/editor/plugins/script_editor_plugin.h @@ -453,7 +453,6 @@ public: bool toggle_scripts_panel(); bool is_scripts_panel_toggled(); - void ensure_focus_current(); void apply_scripts() const; void open_script_create_dialog(const String &p_base_name, const String &p_base_path); |