diff options
| author | Juan Linietsky | 2016-09-13 09:46:17 -0300 |
|---|---|---|
| committer | Juan Linietsky | 2016-09-13 09:48:12 -0300 |
| commit | f10d2bd3944f3a520cf9f131b801f403c834ea6e (patch) | |
| tree | a3440708fb784601fccf224b3a9ac46ed6bf42c5 /tools/editor/editor_node.h | |
| parent | 527ae80dffb6e0f4398310d25ceed951fe848871 (diff) | |
| download | godot-f10d2bd3944f3a520cf9f131b801f403c834ea6e.tar.gz godot-f10d2bd3944f3a520cf9f131b801f403c834ea6e.tar.zst godot-f10d2bd3944f3a520cf9f131b801f403c834ea6e.zip | |
-Add a distraction free mode button (so users know it's there)
-Made distaction free not hide the top bar, it's more loss than gain to hide it
-Fix fullscreen toggling and added a menu option for it so it's also visible in settings.
Diffstat (limited to '')
| -rw-r--r-- | tools/editor/editor_node.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/editor/editor_node.h b/tools/editor/editor_node.h index 147a0fd6e..96242a144 100644 --- a/tools/editor/editor_node.h +++ b/tools/editor/editor_node.h @@ -186,6 +186,7 @@ private: SETTINGS_LAYOUT_DEFAULT, SETTINGS_LOAD_EXPORT_TEMPLATES, SETTINGS_PICK_MAIN_SCENE, + SETTINGS_TOGGLE_FULLSCREN, SETTINGS_HELP, SETTINGS_ABOUT, SOURCES_REIMPORT, @@ -356,7 +357,7 @@ private: int dock_popup_selected; Timer *dock_drag_timer; bool docks_visible; - bool distraction_free_mode; + ToolButton *distraction_free; String _tmp_import_path; @@ -576,11 +577,14 @@ private: static void _file_access_close_error_notify(const String& p_str); + void _toggle_distraction_free_mode(); enum { MAX_INIT_CALLBACKS=128 }; + + static int plugin_init_callback_count; static EditorPluginInitializeCallback plugin_init_callbacks[MAX_INIT_CALLBACKS]; protected: |