ShowWidget: Add a 6px margin to the settings popup.

This commit is contained in:
Jordan Petridis 2018-03-09 17:04:11 +02:00
parent 3423d854e1
commit 99bc80c15b
No known key found for this signature in database
GPG Key ID: CEABAD9F5683B9A6

View File

@ -273,6 +273,10 @@ Tobias Bernard
<object class="GtkBox"> <object class="GtkBox">
<property name="visible">True</property> <property name="visible">True</property>
<property name="can_focus">False</property> <property name="can_focus">False</property>
<property name="margin_left">6</property>
<property name="margin_right">6</property>
<property name="margin_top">6</property>
<property name="margin_bottom">6</property>
<property name="orientation">vertical</property> <property name="orientation">vertical</property>
<child> <child>
<object class="GtkModelButton" id="mark_all_watched"> <object class="GtkModelButton" id="mark_all_watched">