##// END OF EJS Templates
No newline after output prompt
Thomas Kluyver -
Show More
@@ -76,7 +76,8 b' class RichPromptDisplayHook(DisplayHook):'
76 self.prompt_end_newline = False
76 self.prompt_end_newline = False
77
77
78 if self.shell.pt_app:
78 if self.shell.pt_app:
79 print_formatted_text(
79 print_formatted_text(PygmentsTokens(tokens),
80 PygmentsTokens(tokens), style=self.shell.pt_app.app.style)
80 style=self.shell.pt_app.app.style, end='',
81 )
81 else:
82 else:
82 sys.stdout.write(prompt_txt)
83 sys.stdout.write(prompt_txt)
General Comments 0
You need to be logged in to leave comments. Login now