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

Disable ScriptEditor's menu items when they do nothing

Browse Source
This commit is contained in:
Haoyu Qiu
2022-01-21 12:12:48 +08:00
parent 73d00131c6
commit e461e28c70
2 changed files with 56 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
editor/plugins/script_editor_plugin.h
View File

@@ -315,6 +315,9 @@ class ScriptEditor : public PanelContainer {
void _menu_option(int p_option);
void _theme_option(int p_option);
void _show_save_theme_as_dialog();
bool _has_docs_tab() const;
bool _has_script_tab() const;
void _prepare_file_menu();
Tree *disk_changed_list;
ConfirmationDialog *disk_changed;