[gedit/wip/redesign2: 8/13] Mark headerbars as titlebars.

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 2a37c6a55a931e6caa501c90c593c72c1ea949ef
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 dc0e93e..797a5d7 100644
--- a/gedit/gedit-window.ui
+++ b/gedit/gedit-window.ui
@@ -74,12 +74,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>