1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-15 13:51:40 +00:00

Merge pull request #6137 from supaiku-o/master

Add a Close All files option to script editor
This commit is contained in:
Juan Linietsky
2016-09-10 12:07:39 -03:00
committed by GitHub
2 changed files with 40 additions and 2 deletions

View File

@@ -133,6 +133,7 @@ class ScriptEditor : public VBoxContainer {
FILE_SAVE_THEME_AS,
FILE_CLOSE,
CLOSE_DOCS,
CLOSE_ALL,
FILE_TOOL_RELOAD,
FILE_TOOL_RELOAD_SOFT,
DEBUG_NEXT,
@@ -221,6 +222,9 @@ class ScriptEditor : public VBoxContainer {
void _close_current_tab();
void _close_docs_tab();
void _close_all_tabs();
void _ask_close_current_unsaved_tab(ScriptEditorBase *current);
bool grab_focus_block;