[gnome-control-center] printers: Use headerbar in PpOptionsDialog

[Felipe Borges <felipeborges src gnome org>]

commit 00a45b3d70c2016e24edaa442eab36d7b11aa6f3
Author: Felipe Borges <felipeborges gnome org>
Date:   Mon Mar 6 17:45:52 2017 +0100

    printers: Use headerbar in PpOptionsDialog
    
    https://bugzilla.gnome.org/show_bug.cgi?id=779708

 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 c7091f2..4da24f8 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>