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

Script Editor: adding close all docs menu option

This commit is contained in:
Siyuan Gao
2016-07-17 15:18:48 -07:00
committed by Siyuan Gao
parent 6a5e11c075
commit 0c3b1b51b8
2 changed files with 27 additions and 1 deletions

View File

@@ -127,6 +127,7 @@ class ScriptEditor : public VBoxContainer {
FILE_SAVE_THEME,
FILE_SAVE_THEME_AS,
FILE_CLOSE,
CLOSE_DOCS,
EDIT_UNDO,
EDIT_REDO,
EDIT_CUT,
@@ -237,6 +238,7 @@ class ScriptEditor : public VBoxContainer {
void _close_tab(int p_idx);
void _close_current_tab();
void _close_docs_tab();
bool grab_focus_block;