##// END OF EJS Templates
use html <hr> instead of ascii one
Paul Ivanov -
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...\n#" + "-"*42)
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