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