From de0e77fd47c0c4949bd1bc11f7f250daaf4612c9 Mon Sep 17 00:00:00 2001 From: Julio Biason Date: Wed, 14 Apr 2010 09:41:32 -0300 Subject: [PATCH] Refresh in any case; the user could have changed the refresh interval. --- mitterlib/ui/ui_pygtk.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/mitterlib/ui/ui_pygtk.py b/mitterlib/ui/ui_pygtk.py index 0335693..94fb5e6 100644 --- a/mitterlib/ui/ui_pygtk.py +++ b/mitterlib/ui/ui_pygtk.py @@ -751,8 +751,7 @@ class Interface(object): value = int(value) # if any of the options change, do another refresh - if (namespace != self.NAMESPACE and - self._options[namespace][option] != value): + if self._options[namespace][option] != value: need_refresh = True self._options[namespace][option] = value