gui: Add spacing to header buttons

This commit is contained in:
Patrick Griffis 2017-05-27 13:47:11 -04:00 committed by Mathieu Comandon
parent 5c03cb77a8
commit 7c94bf0020
2 changed files with 2 additions and 1 deletions

View file

@ -46,7 +46,7 @@ class RunnersDialog(Gtk.Dialog):
scrolled_window.add(self.runner_listbox)
# Header buttons
buttons_box = Gtk.Box()
buttons_box = Gtk.Box(spacing=6)
refresh_button = Gtk.Button.new_from_icon_name('view-refresh-symbolic', Gtk.IconSize.BUTTON)
refresh_button.props.tooltip_text = 'Refresh runners'

View file

@ -53,6 +53,7 @@
<child>
<object class="GtkBox">
<property name="visible">1</property>
<property name="spacing">6</property>
<child>
<object class="GtkToggleButton" id="search_toggle">
<property name="visible">1</property>