diff options
| author | Paulb23 | 2016-06-22 17:39:02 +0100 |
|---|---|---|
| committer | Paulb23 | 2016-06-22 17:39:02 +0100 |
| commit | c68e4e8cbe4ac1ff0e52fa9f8f652c82d8cba9b2 (patch) | |
| tree | 7cdcb30d12f602d21b32ed9df36619cf3906e21a /tools/editor/plugins/script_editor_plugin.cpp | |
| parent | 0266d752b3e0b2c5d5234ffd16ea19709bd0c8dd (diff) | |
| download | godot-c68e4e8cbe4ac1ff0e52fa9f8f652c82d8cba9b2.tar.gz godot-c68e4e8cbe4ac1ff0e52fa9f8f652c82d8cba9b2.tar.zst godot-c68e4e8cbe4ac1ff0e52fa9f8f652c82d8cba9b2.zip | |
Diffstat (limited to 'tools/editor/plugins/script_editor_plugin.cpp')
| -rw-r--r-- | tools/editor/plugins/script_editor_plugin.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/editor/plugins/script_editor_plugin.cpp b/tools/editor/plugins/script_editor_plugin.cpp index 7ecd2951d..10e4fc847 100644 --- a/tools/editor/plugins/script_editor_plugin.cpp +++ b/tools/editor/plugins/script_editor_plugin.cpp @@ -1138,6 +1138,7 @@ void ScriptEditor::_menu_option(int p_option) { if (trim_trailing_whitespace_on_save) { _trim_trailing_whitespace(current->get_text_edit()); } + editor->push_item(current->get_edited_script()->cast_to<Object>()); editor->save_resource_as( current->get_edited_script() ); } break; |