##// END OF EJS Templates
Merge pull request #1053 from ipython/rawin...
Fernando Perez -
r5577:2ee14fc0 merge
parent child Browse files
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