diff options
| author | Rémi Verschelde | 2017-09-19 23:36:33 +0200 |
|---|---|---|
| committer | GitHub | 2017-09-19 23:36:33 +0200 |
| commit | b03a6e55e0a2dfdf57139459b6854fb72d5841f3 (patch) | |
| tree | eda8befb9a9ce1c0d42173b649b34458cfa9d395 /editor/plugins/animation_player_editor_plugin.cpp | |
| parent | 27fb329c8272e14e2addce928dd8ba8ff2011d0c (diff) | |
| parent | 957e85dcacf4e1f2e62a9376671388fd3e8b7a43 (diff) | |
| download | godot-b03a6e55e0a2dfdf57139459b6854fb72d5841f3.tar.gz godot-b03a6e55e0a2dfdf57139459b6854fb72d5841f3.tar.zst godot-b03a6e55e0a2dfdf57139459b6854fb72d5841f3.zip | |
Merge pull request #11396 from djrm/pr_fix_metrics
Fixed a lot of HiDPI metrics.
Diffstat (limited to 'editor/plugins/animation_player_editor_plugin.cpp')
| -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 d7762a66d..c8db1763a 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: { |