Show More
@@ -595,7 +595,8 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):' | |||||
595 | self.reset() |
|
595 | self.reset() | |
596 | else: |
|
596 | else: | |
597 | self._append_before_prompt_pos = self._get_cursor().position() |
|
597 | self._append_before_prompt_pos = self._get_cursor().position() | |
598 |
self._append_plain_text("# restarting kernel... |
|
598 | self._append_plain_text("# restarting kernel...") | |
|
599 | self._append_html("<hr><br>") | |||
599 | # XXX: Reprinting the full banner may be too much, but once #1680 is |
|
600 | # XXX: Reprinting the full banner may be too much, but once #1680 is | |
600 | # addressed, that will mitigate it. |
|
601 | # addressed, that will mitigate it. | |
601 | #self._append_plain_text(self.banner) |
|
602 | #self._append_plain_text(self.banner) |
General Comments 0
You need to be logged in to leave comments.
Login now