From be510d0d3ed5a1086f81e70aa7fa2088ffa05f51 Mon Sep 17 00:00:00 2001 From: Stephen Boddy Date: Sat, 7 Nov 2015 01:21:05 +0100 Subject: [PATCH] Fix editable label distorting the layout until the splitter gets moved --- terminatorlib/paned.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/terminatorlib/paned.py b/terminatorlib/paned.py index 3b578dc1..24cd9d74 100755 --- a/terminatorlib/paned.py +++ b/terminatorlib/paned.py @@ -424,6 +424,7 @@ class HPaned(Paned, Gtk.HPaned): self.register_signals(HPaned) self.cnxids.new(self, 'button-press-event', self.on_button_press) self.cnxids.new(self, 'button-release-event', self.on_button_release) + self.set_property('position-set', True) def get_length(self): return(self.get_allocated_width()) @@ -440,6 +441,7 @@ class VPaned(Paned, Gtk.VPaned): self.register_signals(VPaned) self.cnxids.new(self, 'button-press-event', self.on_button_press) self.cnxids.new(self, 'button-release-event', self.on_button_release) + self.set_property('position-set', True) def get_length(self): return(self.get_allocated_height())