You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-06 12:20:30 +00:00
-make animationplayer thinner, also toolbuttons too. fixes #3526
This commit is contained in:
@@ -1298,7 +1298,7 @@ AnimationPlayerEditor::AnimationPlayerEditor(EditorNode *p_editor) {
|
||||
|
||||
frame = memnew( SpinBox );
|
||||
hb->add_child(frame);
|
||||
frame->set_custom_minimum_size(Size2(80,0));
|
||||
frame->set_custom_minimum_size(Size2(60,0));
|
||||
frame->set_stretch_ratio(2);
|
||||
frame->set_tooltip("Animation position (in seconds).");
|
||||
|
||||
|
||||
Reference in New Issue
Block a user