From b99defe163560e86363f2e4faa72ebefbd64e896 Mon Sep 17 00:00:00 2001 From: Reinier Heeres Date: Thu, 29 Nov 2007 15:38:51 +0100 Subject: [PATCH] Fix palette issue with mouse speed detector, #5118 --- lib/sugar/graphics/palette.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/lib/sugar/graphics/palette.py b/lib/sugar/graphics/palette.py index 50925244..a4cef8fc 100644 --- a/lib/sugar/graphics/palette.py +++ b/lib/sugar/graphics/palette.py @@ -439,6 +439,8 @@ class Palette(gtk.Window): def popdown(self, immediate=False): self._popup_anim.stop() + self._mouse_detector.stop() + if not immediate: self._popdown_anim.start() else: @@ -482,8 +484,7 @@ class Palette(gtk.Window): self.popup(immediate=immediate) def _invoker_mouse_leave_cb(self, invoker): - if self._mouse_detector is not None: - self._mouse_detector.stop() + self._mouse_detector.stop() self.popdown() def _enter_notify_event_cb(self, widget, event):