Show More
@@ -629,7 +629,13 b' class ConsoleWidget(QtGui.QWidget):' | |||||
629 | cursor.removeSelectedText() |
|
629 | cursor.removeSelectedText() | |
630 | intercepted = True |
|
630 | intercepted = True | |
631 |
|
631 | |||
|
632 | elif key == QtCore.Qt.Key_L: | |||
|
633 | self.clear() | |||
|
634 | intercepted = True | |||
|
635 | ||||
632 | elif key == QtCore.Qt.Key_X: |
|
636 | elif key == QtCore.Qt.Key_X: | |
|
637 | # FIXME: Instead of disabling cut completely, only allow it | |||
|
638 | # when safe. | |||
633 | intercepted = True |
|
639 | intercepted = True | |
634 |
|
640 | |||
635 | elif key == QtCore.Qt.Key_Y: |
|
641 | elif key == QtCore.Qt.Key_Y: | |
@@ -1285,8 +1291,11 b' class HistoryConsoleWidget(ConsoleWidget):' | |||||
1285 | source, hidden, interactive) |
|
1291 | source, hidden, interactive) | |
1286 |
|
1292 | |||
1287 | if executed and not hidden: |
|
1293 | if executed and not hidden: | |
1288 | self._history.append(history.rstrip()) |
|
1294 | # Save the command unless it was a blank line. | |
1289 |
|
|
1295 | history = history.rstrip() | |
|
1296 | if history: | |||
|
1297 | self._history.append(history) | |||
|
1298 | self._history_index = len(self._history) | |||
1290 |
|
1299 | |||
1291 | return executed |
|
1300 | return executed | |
1292 |
|
1301 |
@@ -39,9 +39,9 b' def main():' | |||||
39 | 'use a pure Python kernel instead of an IPython kernel') |
|
39 | 'use a pure Python kernel instead of an IPython kernel') | |
40 | egroup.add_argument('--pylab', type=str, metavar='GUI', nargs='?', |
|
40 | egroup.add_argument('--pylab', type=str, metavar='GUI', nargs='?', | |
41 | const='auto', help = \ |
|
41 | const='auto', help = \ | |
42 |
|
|
42 | "Pre-load matplotlib and numpy for interactive use. If GUI is not \ | |
43 |
|
|
43 | given, the GUI backend is matplotlib's, otherwise use one of: \ | |
44 |
|
|
44 | ['tk', 'gtk', 'qt', 'wx', 'payload-svg'].") | |
45 |
|
45 | |||
46 | wgroup = parser.add_argument_group('widget options') |
|
46 | wgroup = parser.add_argument_group('widget options') | |
47 | wgroup.add_argument('--paging', type=str, default='inside', |
|
47 | wgroup.add_argument('--paging', type=str, default='inside', |
General Comments 0
You need to be logged in to leave comments.
Login now