From f74f6d810beba469fb6ff5f4b12ef2cd6c5fa3af 2008-08-12 16:36:18
From: gvaroquaux <gvaroquaux@gvaroquaux-desktop>
Date: 2008-08-12 16:36:18
Subject: [PATCH] Tweak the line colorisation for windows.

---

diff --git a/IPython/frontend/wx/wx_frontend.py b/IPython/frontend/wx/wx_frontend.py
index 55882a3..7704ee3 100644
--- a/IPython/frontend/wx/wx_frontend.py
+++ b/IPython/frontend/wx/wx_frontend.py
@@ -452,7 +452,9 @@ class WxController(ConsoleWidget, PrefilterFrontEnd):
         """
         if not self._input_state == 'readline':
             return
-        end_line = self.GetCurrentLine() + 1
+        end_line = self.GetCurrentLine()
+        if not sys.platform == 'win32':
+            end_line += 1
         for i in range(self.current_prompt_line, end_line):
             if i in self._markers:
                 self.MarkerDeleteHandle(self._markers[i])