##// 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 595 self.reset()
596 596 else:
597 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 600 # XXX: Reprinting the full banner may be too much, but once #1680 is
600 601 # addressed, that will mitigate it.
601 602 #self._append_plain_text(self.banner)
General Comments 0
You need to be logged in to leave comments. Login now