1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-17 14:11:06 +00:00

Disable ScriptEditor's menu items when they do nothing

This commit is contained in:
Haoyu Qiu
2022-01-21 12:05:32 +08:00
parent 08cabf2a36
commit 061ee6cdb3
2 changed files with 57 additions and 2 deletions

View File

@@ -270,6 +270,9 @@ class ScriptEditor : public PanelContainer {
void _update_debug_options();
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;