diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-01-03 13:55:02 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-03 13:55:02 +0100 |
commit | 2488aff93f93deda27c99cf4811986afeb973438 (patch) | |
tree | 20f6c65eec99314f91f963a98c2060de34f3fd31 /editor/plugins/script_editor_plugin.h | |
parent | cdcf2e7e1c37834f1bdb2ee3fa2414a5ae5db2aa (diff) | |
parent | 77c969878516871b29a9567d8917651d01f273b0 (diff) |
Merge pull request #15257 from sersoong/master-addshowscript
Add Show In File System to script editor tabs
Diffstat (limited to 'editor/plugins/script_editor_plugin.h')
-rw-r--r-- | editor/plugins/script_editor_plugin.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.h b/editor/plugins/script_editor_plugin.h index 3305147442..d90cf7b912 100644 --- a/editor/plugins/script_editor_plugin.h +++ b/editor/plugins/script_editor_plugin.h @@ -137,6 +137,7 @@ class ScriptEditor : public PanelContainer { CLOSE_ALL, CLOSE_OTHER_TABS, TOGGLE_SCRIPTS_PANEL, + SHOW_IN_FILE_SYSTEM, FILE_COPY_PATH, FILE_TOOL_RELOAD, FILE_TOOL_RELOAD_SOFT, |