style(ui): reduce spacing between boxes

This commit is contained in:
Jeremy Attali 2020-06-14 00:08:47 -04:00
parent 596194360e
commit 82ec80efc4

View File

@ -625,7 +625,7 @@
<object class="GtkButtonBox">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="spacing">10</property>
<property name="spacing">5</property>
<property name="layout_style">start</property>
<child>
<object class="GtkButton" id="undo-button">
@ -691,7 +691,7 @@
<object class="GtkBox" id="control_box">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="spacing">10</property>
<property name="spacing">5</property>
<child>
<object class="GtkButton" id="copy">
<property name="visible">True</property>