diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-06-17 15:07:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-17 15:07:27 +0200 |
commit | 46bff1ab54462c34c808528b7fddc24359d81ad3 (patch) | |
tree | 838eaa053126b62983957acc51384057c3cb61d3 | |
parent | 680b4878c5bec7cce4424e85a9bd374a945a4d2d (diff) | |
parent | fc568d9d5be2011bd24e42cf2a63684c734baa87 (diff) |
Merge pull request #29806 from sparkart/master
Bring selected script in view of open scripts list
-rw-r--r-- | editor/plugins/script_editor_plugin.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp index 7456c5d016..1610e5d3d7 100644 --- a/editor/plugins/script_editor_plugin.cpp +++ b/editor/plugins/script_editor_plugin.cpp @@ -2056,6 +2056,8 @@ bool ScriptEditor::edit(const RES &p_resource, int p_line, int p_col, bool p_gra se->goto_line(p_line - 1); } } + _update_script_names(); + script_list->ensure_current_is_visible(); return true; } } |