##// END OF EJS Templates
Merge pull request #4593 from minrk/set_next_input_rstrip...
Thomas Kluyver -
r13759:88dfc2dd merge
parent child Browse files
Show More
@@ -539,7 +539,7 b' class IPythonWidget(FrontendWidget):'
539 self.exit_requested.emit(self)
539 self.exit_requested.emit(self)
540
540
541 def _handle_payload_next_input(self, item):
541 def _handle_payload_next_input(self, item):
542 self.input_buffer = dedent(item['text'].rstrip())
542 self.input_buffer = item['text']
543
543
544 def _handle_payload_page(self, item):
544 def _handle_payload_page(self, item):
545 # Since the plain text widget supports only a very small subset of HTML
545 # Since the plain text widget supports only a very small subset of HTML
General Comments 0
You need to be logged in to leave comments. Login now