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/animation_editor.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/animation_editor.cpp')
| -rw-r--r-- | editor/animation_editor.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/editor/animation_editor.cpp b/editor/animation_editor.cpp index 40493c1de..96e5627be 100644 --- a/editor/animation_editor.cpp +++ b/editor/animation_editor.cpp @@ -3933,7 +3933,7 @@ AnimationKeyEditor::AnimationKeyEditor() { key_editor_tab = memnew(TabContainer); key_editor_tab->set_tab_align(TabContainer::ALIGN_LEFT); hb->add_child(key_editor_tab); - key_editor_tab->set_custom_minimum_size(Size2(200, 0)); + key_editor_tab->set_custom_minimum_size(Size2(200, 0) * EDSCALE); key_editor = memnew(PropertyEditor); key_editor->set_area_as_parent_rect(); @@ -4051,8 +4051,6 @@ AnimationKeyEditor::AnimationKeyEditor() { cleanup_dialog->connect("confirmed", this, "_menu_track", varray(TRACK_MENU_CLEAN_UP_CONFIRM)); - add_constant_override("separation", get_constant("separation", "VBoxContainer")); - track_editor->set_clip_contents(true); } |