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



commit 16e45f72591226607e2bd172a86c89898b7ee10d
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>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]