Fix palette issue with mouse speed detector, #5118

This commit is contained in:
Reinier Heeres 2007-11-29 15:38:51 +01:00
parent ab1cdc7a30
commit b99defe163

View File

@ -439,6 +439,8 @@ class Palette(gtk.Window):
def popdown(self, immediate=False): def popdown(self, immediate=False):
self._popup_anim.stop() self._popup_anim.stop()
self._mouse_detector.stop()
if not immediate: if not immediate:
self._popdown_anim.start() self._popdown_anim.start()
else: else:
@ -482,8 +484,7 @@ class Palette(gtk.Window):
self.popup(immediate=immediate) self.popup(immediate=immediate)
def _invoker_mouse_leave_cb(self, invoker): def _invoker_mouse_leave_cb(self, invoker):
if self._mouse_detector is not None: self._mouse_detector.stop()
self._mouse_detector.stop()
self.popdown() self.popdown()
def _enter_notify_event_cb(self, widget, event): def _enter_notify_event_cb(self, widget, event):