diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-07 07:42:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-07 07:42:48 +0100 |
| commit | 23c5f8c13733f69533cb91020c84f78feabd86c8 (patch) | |
| tree | 8c47783a8624d00c6eb891feb9adec7ca1779ecb /editor/plugins/script_editor_plugin.h | |
| parent | f13bea768d2b22f3e49b355454d09fcf8ec97e72 (diff) | |
| parent | f0fda9fd874815c9cf888cac52353db2c3fed50a (diff) | |
Merge pull request #14362 from sersoong/master-addcopypath
Add 'copy script path' to script editor plugin
Diffstat (limited to 'editor/plugins/script_editor_plugin.h')
| -rw-r--r-- | editor/plugins/script_editor_plugin.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.h b/editor/plugins/script_editor_plugin.h index 77ca4bc9d9..ffd42d18ca 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, + FILE_COPY_PATH, FILE_TOOL_RELOAD, FILE_TOOL_RELOAD_SOFT, DEBUG_NEXT, @@ -255,6 +256,8 @@ class ScriptEditor : public PanelContainer { void _close_other_tabs(); void _close_all_tabs(); + void _copy_script_path(); + void _ask_close_current_unsaved_tab(ScriptEditorBase *current); bool grab_focus_block; |