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