##// END OF EJS Templates
Fix ConsoleWidget bug: cannot scroll freely with Page Up/Down....
epatters -
Show More
@@ -1220,8 +1220,10 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
1220 not self._in_buffer(position))
1220 not self._in_buffer(position))
1221
1221
1222 # Don't move the cursor if Control/Cmd is pressed to allow copy-paste
1222 # Don't move the cursor if Control/Cmd is pressed to allow copy-paste
1223 # using the keyboard in any part of the buffer.
1223 # using the keyboard in any part of the buffer. Also, permit scrolling
1224 if not self._control_key_down(event.modifiers(), include_command=True):
1224 # with Page Up/Down keys.
1225 if not (self._control_key_down(event.modifiers(), include_command=True)
1226 or key in (QtCore.Qt.Key_PageUp, QtCore.Qt.Key_PageDown)):
1225 self._keep_cursor_in_buffer()
1227 self._keep_cursor_in_buffer()
1226
1228
1227 return intercepted
1229 return intercepted
General Comments 0
You need to be logged in to leave comments. Login now