mirror of
https://github.com/moveit/moveit_task_constructor.git
synced 2025-11-04 14:49:57 +08:00
panel: add margin above buttons
This commit is contained in:
parent
7d510c79d3
commit
95dad83126
@ -28,6 +28,9 @@
|
|||||||
</property>
|
</property>
|
||||||
<item>
|
<item>
|
||||||
<layout class="QHBoxLayout" name="tool_buttons_layout">
|
<layout class="QHBoxLayout" name="tool_buttons_layout">
|
||||||
|
<property name="topMargin">
|
||||||
|
<number>2</number>
|
||||||
|
</property>
|
||||||
<item>
|
<item>
|
||||||
<spacer name="spacer">
|
<spacer name="spacer">
|
||||||
<property name="orientation">
|
<property name="orientation">
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user