You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-04 12:00:25 +00:00
Further speed up closing multiple scripts
This commit is contained in:
@@ -374,7 +374,7 @@ class ScriptEditor : public PanelContainer {
|
||||
void _close_tab(int p_idx, bool p_save = true, bool p_history_back = true);
|
||||
void _update_find_replace_bar();
|
||||
|
||||
void _close_current_tab(bool p_save = true);
|
||||
void _close_current_tab(bool p_save = true, bool p_history_back = true);
|
||||
void _close_discard_current_tab(const String &p_str);
|
||||
void _close_docs_tab();
|
||||
void _close_other_tabs();
|
||||
|
||||
Reference in New Issue
Block a user