From b6a75be6077669b2696898049dde63859ca8812b Mon Sep 17 00:00:00 2001
From: Stephen Boddy <stephen.j.boddy@gmail.com>
Date: Mon, 25 Jun 2012 19:05:43 +0200
Subject: [PATCH] Fix the inability to drag the splitters

---
 terminatorlib/paned.py  | 6 ++++++
 terminatorlib/window.py | 6 ++++++
 2 files changed, 12 insertions(+)

diff --git a/terminatorlib/paned.py b/terminatorlib/paned.py
index 4272ac02..5ee13862 100755
--- a/terminatorlib/paned.py
+++ b/terminatorlib/paned.py
@@ -275,6 +275,12 @@ class Paned(Container):
             container.add(child)
 
     def new_size(self, widget, allocation):
+        if self.get_toplevel().set_pos_by_ratio:
+            self.set_position_by_ratio()
+        else:
+            self.set_position(self.get_position())
+    
+    def set_position_by_ratio(self):
         self.set_pos(int(self.ratio*self.get_length()))
 
     def set_position(self, pos):
diff --git a/terminatorlib/window.py b/terminatorlib/window.py
index 50fe79c9..2d7ed1b2 100755
--- a/terminatorlib/window.py
+++ b/terminatorlib/window.py
@@ -37,6 +37,7 @@ class Window(Container, gtk.Window):
     losefocus_time = 0
     position = None
     ignore_startup_show = None
+    set_pos_by_ratio = None
 
     zoom_data = None
 
@@ -479,6 +480,7 @@ class Window(Container, gtk.Window):
 
     def rotate(self, widget, clockwise):
         """Rotate children in this window"""
+        self.set_pos_by_ratio = True
         maker = Factory()
         # collect all paned children in breadth-first order
         paned = []
@@ -494,6 +496,10 @@ class Window(Container, gtk.Window):
             p.rotate(widget, clockwise)
         self.show_all()
         widget.grab_focus()
+        
+        while gtk.events_pending():
+            gtk.main_iteration_do(False)
+        self.set_pos_by_ratio = False
 
     def get_visible_terminals(self):
         """Walk down the widget tree to find all of the visible terminals.