##// END OF EJS Templates
Move mouse move handling to ConsoleWidget.eventFilter...
Diane Trout -
Show More
@@ -434,6 +434,16 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):'
434 obj == self._page_control:
434 obj == self._page_control:
435 self._page_control.repaint()
435 self._page_control.repaint()
436 return True
436 return True
437
438 elif etype == QtCore.QEvent.MouseMove:
439 anchor = self._control.anchorAt(event.pos())
440 if len(anchor) == 0:
441 self._anchor = None
442 QtGui.QToolTip.hideText()
443 elif anchor != self._anchor:
444 self._anchor = anchor
445 QtGui.QToolTip.showText(event.globalPos(), self._anchor)
446
437 return super(ConsoleWidget, self).eventFilter(obj, event)
447 return super(ConsoleWidget, self).eventFilter(obj, event)
438
448
439 #---------------------------------------------------------------------------
449 #---------------------------------------------------------------------------
@@ -1031,7 +1041,6 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):'
1031 control = QtGui.QTextEdit()
1041 control = QtGui.QTextEdit()
1032 control.setAcceptRichText(False)
1042 control.setAcceptRichText(False)
1033 control.setMouseTracking(True)
1043 control.setMouseTracking(True)
1034 control.mouseMoveEvent = self.mouseMoveEvent
1035
1044
1036 # Install event filters. The filter on the viewport is needed for
1045 # Install event filters. The filter on the viewport is needed for
1037 # mouse events and drag events.
1046 # mouse events and drag events.
@@ -1736,18 +1745,6 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):'
1736 else:
1745 else:
1737 self.input_buffer = ''
1746 self.input_buffer = ''
1738
1747
1739 def mouseMoveEvent(self, event):
1740 """ Show tooltip if the mouse is hovering over an anchor
1741 """
1742 pos = event.pos()
1743 anchor = self._control.anchorAt(pos)
1744 if len(anchor) == 0:
1745 self._anchor = None
1746 QtGui.QToolTip.hideText()
1747 elif anchor != self._anchor:
1748 self._anchor = anchor
1749 QtGui.QToolTip.showText(pos, self._anchor)
1750
1751 def _page(self, text, html=False):
1748 def _page(self, text, html=False):
1752 """ Displays text using the pager if it exceeds the height of the
1749 """ Displays text using the pager if it exceeds the height of the
1753 viewport.
1750 viewport.
General Comments 0
You need to be logged in to leave comments. Login now