Show More
@@ -364,6 +364,14 class ConsoleWidget(LoggingConfigurable, QtGui.QWidget): | |||
|
364 | 364 | QtGui.qApp.sendEvent(obj, QtGui.QDragLeaveEvent()) |
|
365 | 365 | return True |
|
366 | 366 | |
|
367 | # Handle scrolling of the vsplit pager. This hack attempts to solve the | |
|
368 | # problem of tearing of the pager window's help text on Mac OS X. This | |
|
369 | # happens with PySide and PyQt. This fix isn't perfect but makes the | |
|
370 | # pager more usable. | |
|
371 | elif etype in [QtCore.QEvent.Wheel, QtCore.QEvent.NativeGesture] and \ | |
|
372 | obj == self._page_control: | |
|
373 | self._page_control.repaint() | |
|
374 | return True | |
|
367 | 375 | return super(ConsoleWidget, self).eventFilter(obj, event) |
|
368 | 376 | |
|
369 | 377 | #--------------------------------------------------------------------------- |
@@ -965,6 +973,8 class ConsoleWidget(LoggingConfigurable, QtGui.QWidget): | |||
|
965 | 973 | elif self.kind == 'rich': |
|
966 | 974 | control = QtGui.QTextEdit() |
|
967 | 975 | control.installEventFilter(self) |
|
976 | viewport = control.viewport() | |
|
977 | viewport.installEventFilter(self) | |
|
968 | 978 | control.setReadOnly(True) |
|
969 | 979 | control.setUndoRedoEnabled(False) |
|
970 | 980 | control.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOn) |
General Comments 0
You need to be logged in to leave comments.
Login now