mirror of
https://github.com/godotengine/godot.git
synced 2025-10-19 16:03:29 +00:00
Fix script properties reload from external editor
This commit is contained in:
parent
74de05a01c
commit
46edd6df55
4 changed files with 29 additions and 16 deletions
|
@ -41,9 +41,9 @@
|
|||
#include "editor/editor_undo_redo_manager.h"
|
||||
#include "editor/gui/scene_tree_editor.h"
|
||||
#include "editor/node_dock.h"
|
||||
#include "editor/plugins/script_editor_plugin.h"
|
||||
#include "editor/scene_tree_dock.h"
|
||||
#include "editor/themes/editor_scale.h"
|
||||
#include "plugins/script_editor_plugin.h"
|
||||
#include "scene/gui/button.h"
|
||||
#include "scene/gui/check_box.h"
|
||||
#include "scene/gui/label.h"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue