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

Merge pull request #5760 from r1cebank/issue-5636__add-close-docs-option

Browse Source 
Script Editor: adding close all docs menu option
This commit is contained in:
Rémi Verschelde
2016-07-19 07:35:20 +02:00
committed by GitHub
parent b49476a011 0c3b1b51b8
commit 13fe615ea3
2 changed files with 27 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/editor/plugins/script_editor_plugin.h
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;