elementaryart team mailing list archive

[xapantu <xapantu@xxxxxxxxx>]

xapantu has proposed merging lp:~xapantu/granite/fix-957349 into lp:granite.

Requested reviews:
  elementary Pantheon team (elementary-pantheon)

For more details, see:
https://code.launchpad.net/~xapantu/granite/fix-957349/+merge/98475

Fix bug #957349: add a property for tab overlap
-- 
https://code.launchpad.net/~xapantu/granite/fix-957349/+merge/98475
Your team elementaryart (old) is subscribed to branch lp:granite.

=== modified file 'lib/Widgets/DynamicNotebook.vala'
--- lib/Widgets/DynamicNotebook.vala	2012-03-19 18:39:32 +0000
+++ lib/Widgets/DynamicNotebook.vala	2012-03-20 18:24:22 +0000
@@ -118,7 +118,7 @@
     const double max_width = 200;
     const double min_width = 120;
     double width = max_width;
-    const double overlap = 3;
+    protected double overlap = 3;
     const int close_size = 16;
     const double close_margin = 1;
     const double y = 5;
@@ -157,9 +157,18 @@
 
     public signal void switch_page (Tab tab);
     public signal void page_removed (Tab tab);
+    
+    static construct {
+        install_style_property (new GLib.ParamSpecDouble ("tab-overlap",
+                                                       "Tab overlap",
+                                                       "Tab overlap",
+                                                       0, 50, 3,
+                                                       ParamFlags.READABLE));
+    }
 
     public Tabs () {
         tabs = new Gee.ArrayList<Tab>();
+        style_get ("tab-overlap", out overlap, null);
         
         if (style_provider == null) {
             style_provider = new Gtk.CssProvider ();