equal
deleted
inserted
replaced
1907 # Mouse event functions |
1907 # Mouse event functions |
1908 # ------------------------------------------------------------------------------- |
1908 # ------------------------------------------------------------------------------- |
1909 |
1909 |
1910 def OnViewerMouseEvent(self, event): |
1910 def OnViewerMouseEvent(self, event): |
1911 self.ResetBuffer() |
1911 self.ResetBuffer() |
1912 if (event.Leaving() or event.RightDown()) and self.ToolTipElement is not None: |
1912 if (event.Leaving() or event.RightUp()) and self.ToolTipElement is not None: |
1913 self.ToolTipElement.DestroyToolTip() |
1913 self.ToolTipElement.DestroyToolTip() |
1914 elif (not event.Entering() and not event.RightDown() and |
1914 elif (not event.Entering() and not event.RightUp() and |
1915 gettime() - self.LastToolTipCheckTime > REFRESH_PERIOD): |
1915 gettime() - self.LastToolTipCheckTime > REFRESH_PERIOD): |
1916 self.LastToolTipCheckTime = gettime() |
1916 self.LastToolTipCheckTime = gettime() |
1917 element = None |
1917 element = None |
1918 if not event.Leaving() and not event.LeftUp() and not event.LeftDClick(): |
1918 if not event.Leaving() and not event.LeftUp() and not event.LeftDClick(): |
1919 dc = self.GetLogicalDC() |
1919 dc = self.GetLogicalDC() |