Show More
@@ -772,7 +772,7 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) |
@@ -599,7 +599,9 class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin): | |||
|
599 | 599 | self.kernel_manager.restart_kernel(now=now) |
|
600 | 600 | except RuntimeError: |
|
601 | 601 | self._append_plain_text('Kernel started externally. ' |
|
602 |
'Cannot restart.\n' |
|
|
602 | 'Cannot restart.\n', | |
|
603 | before_prompt=True | |
|
604 | ) | |
|
603 | 605 | else: |
|
604 | 606 | self.reset() |
|
605 | 607 | else: |
@@ -607,7 +609,9 class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin): | |||
|
607 | 609 | |
|
608 | 610 | else: |
|
609 | 611 | self._append_plain_text('Kernel process is either remote or ' |
|
610 |
'unspecified. Cannot restart.\n' |
|
|
612 | 'unspecified. Cannot restart.\n', | |
|
613 | before_prompt=True | |
|
614 | ) | |
|
611 | 615 | |
|
612 | 616 | #--------------------------------------------------------------------------- |
|
613 | 617 | # 'FrontendWidget' protected interface |
General Comments 0
You need to be logged in to leave comments.
Login now