##// END OF EJS Templates
BUG: Scrolling pager in vsplit on Mac OSX tears....
Prabhu Ramachandran -
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