##// END OF EJS Templates
Tweak the line colorisation for windows.
gvaroquaux -
Show More
@@ -452,7 +452,9 b' class WxController(ConsoleWidget, PrefilterFrontEnd):'
452 """
452 """
453 if not self._input_state == 'readline':
453 if not self._input_state == 'readline':
454 return
454 return
455 end_line = self.GetCurrentLine() + 1
455 end_line = self.GetCurrentLine()
456 if not sys.platform == 'win32':
457 end_line += 1
456 for i in range(self.current_prompt_line, end_line):
458 for i in range(self.current_prompt_line, end_line):
457 if i in self._markers:
459 if i in self._markers:
458 self.MarkerDeleteHandle(self._markers[i])
460 self.MarkerDeleteHandle(self._markers[i])
General Comments 0
You need to be logged in to leave comments. Login now