diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-13 12:10:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-13 12:10:05 +0200 |
| commit | 8c11f883d9c96b08d2dd4b6bc72caf0c9d9543c5 (patch) | |
| tree | 74540bc739c42fea9406b4ffe9239b2ee9f9e903 /editor/plugins/script_editor_plugin.h | |
| parent | 41a62f3ac3e45eaa1dc5f6de7b72040eda983070 (diff) | |
| parent | 0823d783745994b9a03d21762a9d532a55d00b86 (diff) | |
Merge pull request #29129 from kis3lori/remove-save-theme-for-default
Created a fallback from the "Save Theme" button to "Save Theme As" when a default theme is in use.
Diffstat (limited to 'editor/plugins/script_editor_plugin.h')
| -rw-r--r-- | editor/plugins/script_editor_plugin.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.h b/editor/plugins/script_editor_plugin.h index fae98d6ec8..7cd347e2d0 100644 --- a/editor/plugins/script_editor_plugin.h +++ b/editor/plugins/script_editor_plugin.h @@ -264,6 +264,7 @@ class ScriptEditor : public PanelContainer { void _tab_changed(int p_which); void _menu_option(int p_option); void _theme_option(int p_option); + void _show_save_theme_as_dialog(); Tree *disk_changed_list; ConfirmationDialog *disk_changed; |