diff options
| author | Jakub Grzesik | 2017-07-10 14:11:31 +0200 |
|---|---|---|
| committer | Jakub Grzesik | 2017-07-10 14:25:06 +0200 |
| commit | 98897d041598e86e5ab8cd7bf939f2f32081938c (patch) | |
| tree | 60736af1d849296d1937a937888e18b401af8d73 /editor/plugins/script_editor_plugin.h | |
| parent | 159b1fc65f650df0428dbfa9d14e3fd0bcfb94d0 (diff) | |
| download | godot-98897d041598e86e5ab8cd7bf939f2f32081938c.tar.gz godot-98897d041598e86e5ab8cd7bf939f2f32081938c.tar.zst godot-98897d041598e86e5ab8cd7bf939f2f32081938c.zip | |
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 da8248a1a..7f1736593 100644 --- a/editor/plugins/script_editor_plugin.h +++ b/editor/plugins/script_editor_plugin.h @@ -134,6 +134,7 @@ class ScriptEditor : public VBoxContainer { FILE_CLOSE, CLOSE_DOCS, CLOSE_ALL, + TOGGLE_SCRIPTS_PANEL, FILE_TOOL_RELOAD, FILE_TOOL_RELOAD_SOFT, DEBUG_NEXT, |