Show More
@@ -772,7 +772,7 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):' | |||
|
772 | 772 | """ |
|
773 | 773 | # Determine where to insert the content. |
|
774 | 774 | cursor = self._control.textCursor() |
|
775 | if before_prompt and not self._executing: | |
|
775 | if before_prompt and (self._reading or not self._executing): | |
|
776 | 776 | cursor.setPosition(self._append_before_prompt_pos) |
|
777 | 777 | else: |
|
778 | 778 | cursor.movePosition(QtGui.QTextCursor.End) |
@@ -597,7 +597,9 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):' | |||
|
597 | 597 | self.kernel_manager.restart_kernel(now=now) |
|
598 | 598 | except RuntimeError: |
|
599 | 599 | self._append_plain_text('Kernel started externally. ' |
|
600 |
'Cannot restart.\n' |
|
|
600 | 'Cannot restart.\n', | |
|
601 | before_prompt=True | |
|
602 | ) | |
|
601 | 603 | else: |
|
602 | 604 | self.reset() |
|
603 | 605 | else: |
@@ -605,7 +607,9 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):' | |||
|
605 | 607 | |
|
606 | 608 | else: |
|
607 | 609 | self._append_plain_text('Kernel process is either remote or ' |
|
608 |
'unspecified. Cannot restart.\n' |
|
|
610 | 'unspecified. Cannot restart.\n', | |
|
611 | before_prompt=True | |
|
612 | ) | |
|
609 | 613 | |
|
610 | 614 | #--------------------------------------------------------------------------- |
|
611 | 615 | # 'FrontendWidget' protected interface |
General Comments 0
You need to be logged in to leave comments.
Login now