Show More
@@ -364,6 +364,14 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):' | |||||
364 | QtGui.qApp.sendEvent(obj, QtGui.QDragLeaveEvent()) |
|
364 | QtGui.qApp.sendEvent(obj, QtGui.QDragLeaveEvent()) | |
365 | return True |
|
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 | return super(ConsoleWidget, self).eventFilter(obj, event) |
|
375 | return super(ConsoleWidget, self).eventFilter(obj, event) | |
368 |
|
376 | |||
369 | #--------------------------------------------------------------------------- |
|
377 | #--------------------------------------------------------------------------- | |
@@ -965,6 +973,8 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):' | |||||
965 | elif self.kind == 'rich': |
|
973 | elif self.kind == 'rich': | |
966 | control = QtGui.QTextEdit() |
|
974 | control = QtGui.QTextEdit() | |
967 | control.installEventFilter(self) |
|
975 | control.installEventFilter(self) | |
|
976 | viewport = control.viewport() | |||
|
977 | viewport.installEventFilter(self) | |||
968 | control.setReadOnly(True) |
|
978 | control.setReadOnly(True) | |
969 | control.setUndoRedoEnabled(False) |
|
979 | control.setUndoRedoEnabled(False) | |
970 | control.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOn) |
|
980 | control.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOn) |
General Comments 0
You need to be logged in to leave comments.
Login now