##// END OF EJS Templates
Merge pull request #13485 from cansarigol/master...
Matthias Bussonnier -
r27545:dd3bed29 merge
parent child Browse files
Show More
@@ -68,6 +68,8 b' class TerminalPdb(Pdb):'
68 self.debugger_history = FileHistory(os.path.expanduser(str(p)))
68 self.debugger_history = FileHistory(os.path.expanduser(str(p)))
69 else:
69 else:
70 self.debugger_history = InMemoryHistory()
70 self.debugger_history = InMemoryHistory()
71 else:
72 self.debugger_history = self.shell.debugger_history
71
73
72 options = dict(
74 options = dict(
73 message=(lambda: PygmentsTokens(get_prompt_tokens())),
75 message=(lambda: PygmentsTokens(get_prompt_tokens())),
General Comments 0
You need to be logged in to leave comments. Login now