diff options
| author | Jean Felder <jfelder@src.gnome.org> | 2019-11-06 23:44:26 +0100 |
|---|---|---|
| committer | Jean Felder <jfelder@src.gnome.org> | 2019-11-06 23:44:26 +0100 |
| commit | 9c393fa5b9537041cc4def940f1c96f7346a22f7 (patch) | |
| tree | 5c8a7d28431f0562dbc32dccf9aa4813b8f9ffaf /data/ui/SearchHeaderBar.ui | |
| parent | 3275313a54013c6f26a80714719d1ed90260667a (diff) | |
headerbar: Restore the devel style
When using the development version, the headerbar is supposed to have
a custom style (to distinguish it from the stable version).
However, with the introduction of the headerbar stack, this
styling was lost. Indeed, the css rule assumes that the headerbar has
the titlebar class, but, only the headerbar stack has it.
This issue is fixed by adding the titlebar style to HeaderBar and
SearchHeaderBar.
Diffstat (limited to 'data/ui/SearchHeaderBar.ui')
| -rw-r--r-- | data/ui/SearchHeaderBar.ui | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/data/ui/SearchHeaderBar.ui b/data/ui/SearchHeaderBar.ui index f837dae3..b894dbf2 100644 --- a/data/ui/SearchHeaderBar.ui +++ b/data/ui/SearchHeaderBar.ui @@ -4,6 +4,9 @@ <template class="SearchHeaderBar" parent="GtkHeaderBar"> <property name="visible">True</property> <property name="vexpand">False</property> + <style> + <class name="titlebar"/> + </style> <child> <object class="GtkToggleButton" id="_select_button"> <property name="visible">True</property> |