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

Add 'copy script path' to script editor plugin

Browse Source
This commit is contained in:
sersoong
2017-12-07 11:57:41 +08:00
parent b38378dd6c
commit f0fda9fd87
2 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
editor/plugins/script_editor_plugin.h
View File

@@ -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;