From c12149089da1b9aeb9f6305a1768a3b32e1a21e3 Mon Sep 17 00:00:00 2001 From: Stephen Boddy Date: Fri, 19 Jun 2015 03:20:54 +0200 Subject: [PATCH] Fixed getting the handle size (gtk2->gtk3 diff) --- terminatorlib/paned.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/terminatorlib/paned.py b/terminatorlib/paned.py index 8507b287..28285850 100755 --- a/terminatorlib/paned.py +++ b/terminatorlib/paned.py @@ -198,7 +198,9 @@ class Paned(Container): #3 Get ancestor x/y => a, and handle size => hs avail_pixels=self.get_length() - handle_size = self.style_get_property('handle-size') + value = GObject.Value(int) + self.style_get_property('handle-size', value) + handle_size = value.get_int() #4 Math! eek (a - (n * hs)) / (n + 1) = single size => s single_size = (avail_pixels - (number_splits * handle_size)) / (number_splits + 1) arr_sizes = [single_size]*(number_splits+1)