diff options
| author | Jonathan Kang <jonathan121537@gmail.com> | 2015-08-20 17:16:27 +0800 |
|---|---|---|
| committer | Jonathan Kang <jonathan121537@gmail.com> | 2015-08-21 19:16:07 +0800 |
| commit | 013a62cd56eb204d1a82dbdaef08c1528ee0b55d (patch) | |
| tree | ad584909e2f1f3d1e3fe7d8517d96f67c5137c63 /data | |
| parent | aaf43a8a0c6bd65b631084934bedaa33d72c4349 (diff) | |
| download | gnome-logs-013a62cd56eb204d1a82dbdaef08c1528ee0b55d.tar.gz | |
Use GtkModelButton to improve boot selection menu
https://bugzilla.gnome.org/show_bug.cgi?id=752963
Diffstat (limited to 'data')
| -rw-r--r-- | data/gl-eventtoolbar.ui | 9 | ||||
| -rw-r--r-- | data/gl-style.css | 5 |
2 files changed, 8 insertions, 6 deletions
diff --git a/data/gl-eventtoolbar.ui b/data/gl-eventtoolbar.ui index c9bc84a..c42af57 100644 --- a/data/gl-eventtoolbar.ui +++ b/data/gl-eventtoolbar.ui @@ -2,7 +2,6 @@ <template class="GlEventToolbar" parent="GtkHeaderBar"> <property name="expand">True</property> <property name="show-close-button">True</property> - <property name="title" translatable="yes">Logs</property> <property name="visible">True</property> <child> <object class="GtkButton" id="back_button"> @@ -21,19 +20,17 @@ </child> </object> </child> - <child> + <child type="title"> <object class="GtkMenuButton" id="menu_button"> <property name="direction">none</property> <property name="tooltip-text" translatable="yes">Choose the boot from which to view logs</property> <property name="valign">center</property> <property name="visible">True</property> + <property name="relief">GTK_RELIEF_NONE</property> <style> - <class name="image-button"/> + <class name="title-menu-button"/> </style> </object> - <packing> - <property name="pack-type">end</property> - </packing> </child> <child> <object class="GtkToggleButton" id="search_button"> diff --git a/data/gl-style.css b/data/gl-style.css index b67aba1..491ee90 100644 --- a/data/gl-style.css +++ b/data/gl-style.css @@ -28,3 +28,8 @@ .event-time { font-size: small; } + +.title-menu-button { + padding-top: 0px; + padding-bottom: 0px; +} |