##// END OF EJS Templates
Fix bug in raw_input that was requiring a manditory argument, whereas it...
gvaroquaux -
Show More
@@ -173,7 +173,7 b' class WxController(ConsoleWidget, PrefilterFrontEnd):'
173 self.shell.user_ns['raw_input'] = self.raw_input
173 self.shell.user_ns['raw_input'] = self.raw_input
174
174
175
175
176 def raw_input(self, prompt):
176 def raw_input(self, prompt=''):
177 """ A replacement from python's raw_input.
177 """ A replacement from python's raw_input.
178 """
178 """
179 self.new_prompt(prompt)
179 self.new_prompt(prompt)
General Comments 0
You need to be logged in to leave comments. Login now