diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-10 08:01:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-10 08:01:32 +0100 |
| commit | 2e89dd19b1f1dfe5de1ff8cdeb21539efc2b3f09 (patch) | |
| tree | e75fd52f582e60351ea4bc6b1a5054a736c1eafa /editor/property_editor.cpp | |
| parent | eef1e3bb985e28c90893ea64d5ed4598814c9427 (diff) | |
| parent | 12251a3a15f537e6102a9ffe9a02a1b930d48e99 (diff) | |
Merge pull request #12794 from djrm/pr_visual_improvements
Fixed project manager and dialog fonts.
Diffstat (limited to 'editor/property_editor.cpp')
| -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 f4d5530faa..002ae568ff 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() { |