| 4763 | } |
| 4764 | |
| 4765 | void ScriptEditorPlugin::make_visible(bool p_visible) { |
| 4766 | if (p_visible) { |
| 4767 | window_wrapper->show(); |
| 4768 | script_editor->ensure_select_current(); |
| 4769 | } else { |
| 4770 | window_wrapper->hide(); |
| 4771 | } |
| 4772 | } |
| 4773 | |
| 4774 | void ScriptEditorPlugin::selected_notify() { |
| 4775 | script_editor->ensure_select_current(); |
no test coverage detected