diff options
| author | Felipe Borges <felipeborges@gnome.org> | 2017-03-06 17:45:52 +0100 |
|---|---|---|
| committer | Felipe Borges <felipeborges@gnome.org> | 2017-05-29 19:29:28 +0200 |
| commit | 00a45b3d70c2016e24edaa442eab36d7b11aa6f3 (patch) | |
| tree | fb547a6dd42ea049448303f0ff003631826cafc4 | |
| parent | ca2d97f76a6249a1f46b7670956902eeae05d5c9 (diff) | |
| download | gnome-control-center-00a45b3d70c2016e24edaa442eab36d7b11aa6f3.tar.gz | |
printers: Use headerbar in PpOptionsDialog
https://bugzilla.gnome.org/show_bug.cgi?id=779708
| -rw-r--r-- | panels/printers/options-dialog.ui | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/panels/printers/options-dialog.ui b/panels/printers/options-dialog.ui index c7091f244..4da24f805 100644 --- a/panels/printers/options-dialog.ui +++ b/panels/printers/options-dialog.ui @@ -12,6 +12,12 @@ <property name="modal">True</property> <property name="destroy_with_parent">True</property> <property name="type_hint">dialog</property> + <property name="use_header_bar">1</property> + <child internal-child="headerbar"> + <object class="GtkHeaderBar"> + <property name="visible">True</property> + </object> + </child> <child internal-child="vbox"> <object class="GtkBox"> <child> |