##// 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 453 if not self._input_state == 'readline':
454 454 return
455 end_line = self.GetCurrentLine() + 1
455 end_line = self.GetCurrentLine()
456 if not sys.platform == 'win32':
457 end_line += 1
456 458 for i in range(self.current_prompt_line, end_line):
457 459 if i in self._markers:
458 460 self.MarkerDeleteHandle(self._markers[i])
General Comments 0
You need to be logged in to leave comments. Login now