diff options
| author | Rémi Verschelde | 2017-11-10 08:01:32 +0100 |
|---|---|---|
| committer | GitHub | 2017-11-10 08:01:32 +0100 |
| commit | 2e89dd19b1f1dfe5de1ff8cdeb21539efc2b3f09 (patch) | |
| tree | e75fd52f582e60351ea4bc6b1a5054a736c1eafa /editor/property_editor.cpp | |
| parent | eef1e3bb985e28c90893ea64d5ed4598814c9427 (diff) | |
| parent | 12251a3a15f537e6102a9ffe9a02a1b930d48e99 (diff) | |
| download | godot-2e89dd19b1f1dfe5de1ff8cdeb21539efc2b3f09.tar.gz godot-2e89dd19b1f1dfe5de1ff8cdeb21539efc2b3f09.tar.zst godot-2e89dd19b1f1dfe5de1ff8cdeb21539efc2b3f09.zip | |
Merge pull request #12794 from djrm/pr_visual_improvements
Fixed project manager and dialog fonts.
Diffstat (limited to '')
| -rw-r--r-- | editor/property_editor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/property_editor.cpp b/editor/property_editor.cpp index f4d5530fa..002ae568f 100644 --- a/editor/property_editor.cpp +++ b/editor/property_editor.cpp @@ -4258,7 +4258,7 @@ PropertyEditor::PropertyEditor() { use_filter = false; subsection_selectable = false; property_selectable = false; - show_type_icons = EDITOR_DEF("interface/editor/show_type_icons", false); + show_type_icons = false; // maybe one day will return. } PropertyEditor::~PropertyEditor() { |