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