toxblh/podcasts
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Headerbar: Add margins to the hamburger menu.

Browse Source
This commit is contained in:
Jordan Petridis 2017-12-26 15:46:25 +02:00
parent d5b9379732
commit e99ab58b83
No known key found for this signature in database
GPG Key ID: CEABAD9F5683B9A6
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
hammond-gtk/resources/gtk/headerbar.ui
View File

@ -215,6 +215,7 @@
</object>
<packing>
<property name="pack_type">end</property>
<property name="position">2</property>
</packing>
</child>
</object>
@ -224,6 +225,10 @@
<object class="GtkBox">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="margin_left">10</property>
<property name="margin_right">10</property>
<property name="margin_top">10</property>
<property name="margin_bottom">10</property>
<property name="orientation">vertical</property>
<child>
<object class="GtkModelButton">
@ -244,7 +249,7 @@
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">True</property>
<property name="text" translatable="yes">Update Podcasts</property>
<property name="text" translatable="yes">Check for new episodes</property>
</object>
<packing>
<property name="expand">False</property>