Fix editable label distorting the layout until the splitter gets moved

This commit is contained in:
Stephen Boddy 2015-11-07 01:21:05 +01:00
parent 8e57aae0fe
commit be510d0d3e
1 changed files with 2 additions and 0 deletions

View File

@ -424,6 +424,7 @@ class HPaned(Paned, Gtk.HPaned):
self.register_signals(HPaned) self.register_signals(HPaned)
self.cnxids.new(self, 'button-press-event', self.on_button_press) self.cnxids.new(self, 'button-press-event', self.on_button_press)
self.cnxids.new(self, 'button-release-event', self.on_button_release) self.cnxids.new(self, 'button-release-event', self.on_button_release)
self.set_property('position-set', True)
def get_length(self): def get_length(self):
return(self.get_allocated_width()) return(self.get_allocated_width())
@ -440,6 +441,7 @@ class VPaned(Paned, Gtk.VPaned):
self.register_signals(VPaned) self.register_signals(VPaned)
self.cnxids.new(self, 'button-press-event', self.on_button_press) self.cnxids.new(self, 'button-press-event', self.on_button_press)
self.cnxids.new(self, 'button-release-event', self.on_button_release) self.cnxids.new(self, 'button-release-event', self.on_button_release)
self.set_property('position-set', True)
def get_length(self): def get_length(self):
return(self.get_allocated_height()) return(self.get_allocated_height())