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