[gedit/wip/redesign2: 5/28] Mark headerbars as titlebars.

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 56f9c93dddd6639d2893be627235386223559c36
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Thu Nov 7 08:32:59 2013 +0100

    Mark headerbars as titlebars.
    
    See that we need custom css to remove the extra borders we have now

 gedit/gedit-window.ui |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-window.ui b/gedit/gedit-window.ui
index 238cc75..ed114d2 100644
--- a/gedit/gedit-window.ui
+++ b/gedit/gedit-window.ui
@@ -66,12 +66,20 @@
           <object class="GtkHeaderBar" id="side_headerbar">
             <property name="visible">True</property>
             <property name="title">Documents</property>
+            <style>
+              <class name="gedit-titlebar-left"/>
+              <class name="titlebar"/>
+            </style>
           </object>
         </child>
         <child>
           <object class="GtkHeaderBar" id="headerbar">
             <property name="visible">True</property>
             <property name="show_close_button">True</property>
+            <style>
+              <class name="gedit-titlebar-right"/>
+              <class name="titlebar"/>
+            </style>
             <child>
               <object class="GtkBox" id="open_box">
                 <property name="visible">True</property>