diff options
| author | Juan Linietsky | 2016-06-17 01:13:23 -0300 |
|---|---|---|
| committer | Juan Linietsky | 2016-06-17 01:13:23 -0300 |
| commit | f0d9245ecf981dada4595da0e525cc95a0caf785 (patch) | |
| tree | 037a745f42c5b89a1fcae1166b10a17c90883254 /tools/editor/plugins/theme_editor_plugin.h | |
| parent | 816b3fa94de91fb671b58d7cda57f10104a682da (diff) | |
| download | godot-f0d9245ecf981dada4595da0e525cc95a0caf785.tar.gz godot-f0d9245ecf981dada4595da0e525cc95a0caf785.tar.zst godot-f0d9245ecf981dada4595da0e525cc95a0caf785.zip | |
-added missing .inc files
-Made it possible to change the editor theme
-Added two options to theme editor plugin to create empty template themes and editor themes
-Make sure that saved themes to .tres keep the null theme fields, to make it easier to keep those when saving/loading the theme
Diffstat (limited to '')
| -rw-r--r-- | tools/editor/plugins/theme_editor_plugin.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/editor/plugins/theme_editor_plugin.h b/tools/editor/plugins/theme_editor_plugin.h index 49d5ae309..1384fa6b6 100644 --- a/tools/editor/plugins/theme_editor_plugin.h +++ b/tools/editor/plugins/theme_editor_plugin.h @@ -68,7 +68,8 @@ class ThemeEditor : public Control { POPUP_CLASS_ADD, POPUP_REMOVE, POPUP_CLASS_REMOVE, - POPUP_CREATE_TEMPLATE + POPUP_CREATE_EMPTY, + POPUP_CREATE_EDITOR_EMPTY }; int popup_mode; |