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