From bed900a1c8e424704daabf2032c7b5ca31943438 Mon Sep 17 00:00:00 2001 From: Denis Fomin Date: Tue, 16 Nov 2010 13:56:12 +0300 Subject: [PATCH] Keep changing the width of the roster(when a gtk.Paned widget handle is dragged) --- data/gui/roster_window.ui | 1 + src/roster_window.py | 9 +++++++++ 2 files changed, 10 insertions(+) diff --git a/data/gui/roster_window.ui b/data/gui/roster_window.ui index 73f25f67b..ea85ca8d7 100644 --- a/data/gui/roster_window.ui +++ b/data/gui/roster_window.ui @@ -325,6 +325,7 @@ True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + True diff --git a/src/roster_window.py b/src/roster_window.py index 6dc4414a1..ef9eb0a41 100644 --- a/src/roster_window.py +++ b/src/roster_window.py @@ -4069,6 +4069,15 @@ class RosterWindow: if self.hpaned.get_child2() is not None: self.show_roster_vbox(widget.get_active()) + def on_roster_hpaned_notify(self, pane, gparamspec): + """ + Keep changing the width of the roster + (when a gtk.Paned widget handle is dragged) + """ + if gparamspec.name == 'position': + roster_width = pane.get_child1().allocation.width + gajim.config.set('roster_width', roster_width) + ################################################################################ ### Drag and Drop handling ################################################################################