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