diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-11 17:05:55 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-11 17:05:55 +0200 |
commit | 10db0421db93f7b57ae05e067f27dba6e09e4761 (patch) | |
tree | fed0bc55df8d28a97d62b1537cd1859d36ce2a7d /editor/script_editor_debugger.h | |
parent | 4c37ea59be1e85b397c48577857b783db10f22d5 (diff) | |
parent | ed8b75a3e1c3dd4934ba8bb5f7f7c58cffe559e0 (diff) |
Merge pull request #21974 from akien-mga/drop-property-editor
Replace last occurrences of PropertyEditor and drop its code
Diffstat (limited to 'editor/script_editor_debugger.h')
-rw-r--r-- | editor/script_editor_debugger.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/editor/script_editor_debugger.h b/editor/script_editor_debugger.h index ce705aa35b..9a5680e4b6 100644 --- a/editor/script_editor_debugger.h +++ b/editor/script_editor_debugger.h @@ -33,12 +33,12 @@ #include "core/io/packet_peer.h" #include "core/io/tcp_server.h" -#include "property_editor.h" +#include "editor/editor_inspector.h" +#include "editor/property_editor.h" #include "scene/gui/box_container.h" #include "scene/gui/button.h" class Tree; -class PropertyEditor; class EditorNode; class ScriptEditorDebuggerVariables; class LineEdit; @@ -130,7 +130,7 @@ class ScriptEditorDebugger : public Control { LineEdit *vmem_total; Tree *stack_dump; - PropertyEditor *inspector; + EditorInspector *inspector; Ref<TCP_Server> server; Ref<StreamPeerTCP> connection; |