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() |
|
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