Show More
@@ -471,7 +471,10 b' class ConsoleWidget(Configurable, QtGui.QWidget):' | |||
|
471 | 471 | """ Moves the prompt to the top of the viewport. |
|
472 | 472 | """ |
|
473 | 473 | if not self._executing: |
|
474 |
|
|
|
474 | prompt_cursor = self._get_prompt_cursor() | |
|
475 | if self._get_cursor().blockNumber() < prompt_cursor.blockNumber(): | |
|
476 | self._set_cursor(prompt_cursor) | |
|
477 | self._set_top_cursor(prompt_cursor) | |
|
475 | 478 | |
|
476 | 479 | def redo(self): |
|
477 | 480 | """ Redo the last operation. If there is no operation to redo, nothing |
@@ -1370,7 +1373,8 b' class ConsoleWidget(Configurable, QtGui.QWidget):' | |||
|
1370 | 1373 | self.input_buffer = '' |
|
1371 | 1374 | |
|
1372 | 1375 | def _page(self, text, html=False): |
|
1373 |
""" Displays text using the pager if it exceeds the height of the |
|
|
1376 | """ Displays text using the pager if it exceeds the height of the | |
|
1377 | viewport. | |
|
1374 | 1378 | |
|
1375 | 1379 | Parameters: |
|
1376 | 1380 | ----------- |
@@ -1379,7 +1383,8 b' class ConsoleWidget(Configurable, QtGui.QWidget):' | |||
|
1379 | 1383 | """ |
|
1380 | 1384 | line_height = QtGui.QFontMetrics(self.font).height() |
|
1381 | 1385 | minlines = self._control.viewport().height() / line_height |
|
1382 |
if self.paging != 'none' and |
|
|
1386 | if self.paging != 'none' and \ | |
|
1387 | re.match("(?:[^\n]*\n){%i}" % minlines, text): | |
|
1383 | 1388 | if self.paging == 'custom': |
|
1384 | 1389 | self.custom_page_requested.emit(text) |
|
1385 | 1390 | else: |
@@ -1568,7 +1573,7 b' class ConsoleWidget(Configurable, QtGui.QWidget):' | |||
|
1568 | 1573 | scrollbar.setPageStep(step) |
|
1569 | 1574 | # Compensate for undesirable scrolling that occurs automatically due to |
|
1570 | 1575 | # maximumBlockCount() text truncation. |
|
1571 | if diff < 0: | |
|
1576 | if diff < 0 and document.blockCount() == document.maximumBlockCount(): | |
|
1572 | 1577 | scrollbar.setValue(scrollbar.value() + diff) |
|
1573 | 1578 | |
|
1574 | 1579 | def _cursor_position_changed(self): |
General Comments 0
You need to be logged in to leave comments.
Login now