godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-09 12:50:35 +00:00
Code Releases Wiki Activity

Merge pull request #6575 from Geequlim/more_themes

Browse Source 
More custom theme support for editor
This commit is contained in:
Rémi Verschelde
2016-10-03 11:50:18 +02:00
committed by GitHub
parent 44b741dd3c fd236a4b6c
commit de648e552b
5 changed files with 19 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/editor/editor_node.cpp
View File

@@ -2678,7 +2678,7 @@ void EditorNode::_menu_option_confirm(int p_option,bool p_confirmed) {
} break;
case RUN_PLAY_NATIVE: {
bool autosave = EDITOR_DEF("run/auto_save_before_running",true);
if (autosave) {
_menu_option_confirm(FILE_SAVE_ALL_SCENES, false);