You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-09 12:50:35 +00:00
Don't stop closing on unsaved script
(cherry picked from commit 8fe664fb4b)
This commit is contained in:
@@ -262,6 +262,7 @@ class ScriptEditor : public PanelContainer {
|
||||
int history_pos;
|
||||
|
||||
List<String> previous_scripts;
|
||||
List<int> script_close_queue;
|
||||
|
||||
void _tab_changed(int p_which);
|
||||
void _menu_option(int p_option);
|
||||
@@ -294,6 +295,7 @@ class ScriptEditor : public PanelContainer {
|
||||
void _close_docs_tab();
|
||||
void _close_other_tabs();
|
||||
void _close_all_tabs();
|
||||
void _queue_close_tabs();
|
||||
|
||||
void _copy_script_path();
|
||||
|
||||
|
||||
Reference in New Issue
Block a user