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

Add Reopen Closed Script option in Script Editor

Browse Source
This commit is contained in:
Tomasz Chabora
2019-07-31 21:06:15 +02:00
parent 507e41e698
commit 5718599bd2
2 changed files with 57 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
editor/plugins/script_editor_plugin.h
View File

@@ -139,6 +139,7 @@ class ScriptEditor : public PanelContainer {
FILE_NEW,
FILE_NEW_TEXTFILE,
FILE_OPEN,
FILE_REOPEN_CLOSED,
FILE_OPEN_RECENT,
FILE_SAVE,
FILE_SAVE_AS,
@@ -265,7 +266,7 @@ class ScriptEditor : public PanelContainer {
Vector<ScriptHistory> history;
int history_pos;
Vector<String> previous_scripts;
List<String> previous_scripts;
void _tab_changed(int p_which);
void _menu_option(int p_option);