[gedit] Turn on use-header-bar for the highlight dialog

[Paolo Borelli <pborelli src gnome org>]

commit 6a89939bf3c4ade8729268c3fcdc46def9ad8b6a
Author: Paolo Borelli <pborelli gnome org>
Date:   Sun Feb 16 20:58:31 2014 +0100

    Turn on use-header-bar for the highlight dialog

 gedit/gedit-highlight-mode-dialog.c  |    1 +
 gedit/gedit-highlight-mode-dialog.ui |    2 +-
 2 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/gedit/gedit-highlight-mode-dialog.c b/gedit/gedit-highlight-mode-dialog.c
index 6478e96..995cbde 100644
--- a/gedit/gedit-highlight-mode-dialog.c
+++ b/gedit/gedit-highlight-mode-dialog.c
@@ -70,6 +70,7 @@ gedit_highlight_mode_dialog_new (GtkWindow *parent)
 {
        return GTK_WIDGET (g_object_new (GEDIT_TYPE_HIGHLIGHT_MODE_DIALOG,
                                         "transient-for", parent,
+                                        "use-header-bar", TRUE,
                                         NULL));
 }
 
diff --git a/gedit/gedit-highlight-mode-dialog.ui b/gedit/gedit-highlight-mode-dialog.ui
index 48bcda5..2484d76 100644
--- a/gedit/gedit-highlight-mode-dialog.ui
+++ b/gedit/gedit-highlight-mode-dialog.ui
@@ -44,7 +44,7 @@
             </child>
             <child>
               <object class="GtkButton" id="ok_button">
-                <property name="label" translatable="yes">_OK</property>
+                <property name="label" translatable="yes">_Select</property>
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
                 <property name="has_focus">False</property>