diff options
| author | Rémi Verschelde | 2018-06-25 16:24:39 +0200 |
|---|---|---|
| committer | GitHub | 2018-06-25 16:24:39 +0200 |
| commit | 4e867a1d7a3864ee8c9c8611b6cc406fa3f0900b (patch) | |
| tree | 902dd73016ad5f578742ac114bad0bfe41fd76c7 /editor/plugins/script_editor_plugin.h | |
| parent | 74bd1bf1c28eedafcee571408d135a07359ebee2 (diff) | |
| parent | 7a18b9590611a329c9a654cd0b378ce0a051c6b6 (diff) | |
| download | godot-4e867a1d7a3864ee8c9c8611b6cc406fa3f0900b.tar.gz godot-4e867a1d7a3864ee8c9c8611b6cc406fa3f0900b.tar.zst godot-4e867a1d7a3864ee8c9c8611b6cc406fa3f0900b.zip | |
Diffstat (limited to 'editor/plugins/script_editor_plugin.h')
| -rw-r--r-- | editor/plugins/script_editor_plugin.h | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/editor/plugins/script_editor_plugin.h b/editor/plugins/script_editor_plugin.h index 769612bdb..67f506fdd 100644 --- a/editor/plugins/script_editor_plugin.h +++ b/editor/plugins/script_editor_plugin.h @@ -134,10 +134,7 @@ class ScriptEditor : public PanelContainer { FILE_SAVE, FILE_SAVE_AS, FILE_SAVE_ALL, - FILE_IMPORT_THEME, - FILE_RELOAD_THEME, - FILE_SAVE_THEME, - FILE_SAVE_THEME_AS, + FILE_THEME, FILE_RUN, FILE_CLOSE, CLOSE_DOCS, @@ -168,6 +165,13 @@ class ScriptEditor : public PanelContainer { WINDOW_SELECT_BASE = 100 }; + enum { + THEME_IMPORT, + THEME_RELOAD, + THEME_SAVE, + THEME_SAVE_AS + }; + enum ScriptSortBy { SORT_BY_NAME, SORT_BY_PATH, @@ -190,6 +194,7 @@ class ScriptEditor : public PanelContainer { uint64_t idle; PopupMenu *recent_scripts; + PopupMenu *theme_submenu; Button *help_search; Button *site_search; @@ -251,6 +256,7 @@ class ScriptEditor : public PanelContainer { void _tab_changed(int p_which); void _menu_option(int p_option); + void _theme_option(int p_option); Tree *disk_changed_list; ConfirmationDialog *disk_changed; |