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

Added recent scripts to script editor

Browse Source
This commit is contained in:
Paulb23
2017-04-27 16:07:39 +01:00
parent 5f15f03d38
commit e37928bb50
3 changed files with 101 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
editor/plugins/script_editor_plugin.h
View File

@@ -120,6 +120,7 @@ class ScriptEditor : public VBoxContainer {
enum {
FILE_NEW,
FILE_OPEN,
FILE_OPEN_RECENT,
FILE_SAVE,
FILE_SAVE_AS,
FILE_SAVE_ALL,
@@ -169,6 +170,8 @@ class ScriptEditor : public VBoxContainer {
Timer *autosave_timer;
uint64_t idle;
PopupMenu *recent_scripts;
Button *help_search;
Button *site_search;
Button *class_search;
@@ -207,6 +210,8 @@ class ScriptEditor : public VBoxContainer {
Vector<ScriptHistory> history;
int history_pos;
Vector<String> previous_scripts;
EditorHelpIndex *help_index;
void _tab_changed(int p_which);
@@ -224,6 +229,10 @@ class ScriptEditor : public VBoxContainer {
bool _test_script_times_on_disk(Ref<Script> p_for_script = Ref<Script>());
void _add_recent_script(String p_path);
void _update_recent_scripts();
void _open_recent_script(int p_idx);
void _close_tab(int p_idx, bool p_save = true);
void _close_current_tab();