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

Merge pull request #16455 from volzhs/close-docs

Browse Source 
Keep to show current script when closing all docs
This commit is contained in:
Rémi Verschelde
2018-02-20 09:40:29 +01:00
committed by GitHub
parent c62a6942dc df84290a7e
commit 55f00d9655
4 changed files with 20 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
editor/plugins/script_editor_plugin.h
View File

@@ -252,7 +252,7 @@ class ScriptEditor : public PanelContainer {
void _show_error_dialog(String p_path);
void _close_tab(int p_idx, bool p_save = true);
void _close_tab(int p_idx, bool p_save = true, bool p_history_back = true);
void _close_current_tab();
void _close_discard_current_tab(const String &p_str);