##// END OF EJS Templates
Merge pull request #1 from jorisvandenbossche/patch-1...
chebee7i -
r13900:eeb3956b merge
parent child Browse files
Show More
@@ -707,6 +707,7 b' class IPythonDirective(Directive):'
707 if not self.state.document.current_source in self.seen_docs:
707 if not self.state.document.current_source in self.seen_docs:
708 self.shell.IP.history_manager.reset()
708 self.shell.IP.history_manager.reset()
709 self.shell.IP.execution_count = 1
709 self.shell.IP.execution_count = 1
710 self.shell.IP.prompt_manager.width = 0
710 self.seen_docs.add(self.state.document.current_source)
711 self.seen_docs.add(self.state.document.current_source)
711
712
712 # and attach to shell so we don't have to pass them around
713 # and attach to shell so we don't have to pass them around
General Comments 0
You need to be logged in to leave comments. Login now