diff options
| author | Daniel J. Ramirez <djrmuv@gmail.com> | 2017-09-18 14:39:37 -0500 |
|---|---|---|
| committer | Daniel J. Ramirez <djrmuv@gmail.com> | 2017-09-18 14:48:15 -0500 |
| commit | 957e85dcacf4e1f2e62a9376671388fd3e8b7a43 (patch) | |
| tree | 4565f08f0c7e5e580051fb3a0a32f0bf747d6b25 /editor/plugins | |
| parent | 3d06957f12ba5c04702f3db980af9c07142e7886 (diff) | |
Fixed a lot of HiDPI metrics.
Diffstat (limited to 'editor/plugins')
| -rw-r--r-- | editor/plugins/animation_player_editor_plugin.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/editor/plugins/animation_player_editor_plugin.cpp b/editor/plugins/animation_player_editor_plugin.cpp index d7762a66df..c8db1763ab 100644 --- a/editor/plugins/animation_player_editor_plugin.cpp +++ b/editor/plugins/animation_player_editor_plugin.cpp @@ -103,13 +103,11 @@ void AnimationPlayerEditor::_notification(int p_what) { get_tree()->connect("node_removed", this, "_node_removed"); add_style_override("panel", editor->get_gui_base()->get_stylebox("panel", "Panel")); - add_constant_override("separation", get_constant("separation", "VBoxContainer")); } break; case EditorSettings::NOTIFICATION_EDITOR_SETTINGS_CHANGED: { add_style_override("panel", editor->get_gui_base()->get_stylebox("panel", "Panel")); - add_constant_override("separation", get_constant("separation", "VBoxContainer")); } break; case NOTIFICATION_THEME_CHANGED: { |