diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-30 16:28:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-30 16:28:47 +0100 |
| commit | edf2ed5e5056b3f37014cafb2571dd31d65a4a96 (patch) | |
| tree | 3e8a26c70b13525a6fed48799d3eaceac7e9baae /editor/property_editor.cpp | |
| parent | 46bc05c5acf8cf9833f9a992935afaa8d074ad58 (diff) | |
| parent | 078c0d75f2782e3eee5b1b4ed2176687bfd51f20 (diff) | |
Merge pull request #34582 from timothyqiu/forward-decl
Cleans up headers included in editor_node.h
Diffstat (limited to 'editor/property_editor.cpp')
| -rw-r--r-- | editor/property_editor.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/property_editor.cpp b/editor/property_editor.cpp index ce82d44164..945eb4bfb7 100644 --- a/editor/property_editor.cpp +++ b/editor/property_editor.cpp @@ -47,7 +47,9 @@ #include "editor/editor_file_system.h" #include "editor/editor_help.h" #include "editor/editor_node.h" +#include "editor/editor_scale.h" #include "editor/editor_settings.h" +#include "editor/filesystem_dock.h" #include "editor/multi_node_edit.h" #include "editor/property_selector.h" #include "scene/gui/label.h" |