##// END OF EJS Templates
Make help() more robust.
gvaroquaux -
Show More
@@ -108,6 +108,8 b' class WxController(ConsoleWidget, PrefilterFrontEnd):'
108 108 #
109 109 # 'readline' for readline-like behavior with a prompt
110 110 # and an edit buffer.
111 # 'raw_input' similar to readline, but triggered by a raw-input
112 # call. Can be used by subclasses to act differently.
111 113 # 'subprocess' for sending the raw input directly to a
112 114 # subprocess.
113 115 # 'buffering' for buffering of the input, that will be used
@@ -164,6 +166,7 b' class WxController(ConsoleWidget, PrefilterFrontEnd):'
164 166 """ A replacement from python's raw_input.
165 167 """
166 168 self.new_prompt(prompt)
169 self._input_state = 'raw_input'
167 170 self.waiting = True
168 171 self.__old_on_enter = self._on_enter
169 172 def my_on_enter():
@@ -449,7 +452,7 b' class WxController(ConsoleWidget, PrefilterFrontEnd):'
449 452 def _colorize_input_buffer(self):
450 453 """ Keep the input buffer lines at a bright color.
451 454 """
452 if not self._input_state == 'readline':
455 if not self._input_state in ('readline', 'raw_input'):
453 456 return
454 457 end_line = self.GetCurrentLine()
455 458 if not sys.platform == 'win32':
General Comments 0
You need to be logged in to leave comments. Login now