Place line_start mark before moving the cursor in gtk_.ReplWidget.prompt().

Trundle · Trundle · commit a2d2a95398ce · 2010-03-29T21:18:25.000+02:00
This fixes the strange highlighting issue on startup.
diff --git a/bpython/gtk_.py b/bpython/gtk_.py
@@ -561,9 +561,9 @@ def prompt(self, more):
         else:
             text = '>>> '
         with self.editing:
-            self.text_buffer.insert_with_tags_by_name(self.get_cursor_iter(),
-                                                      text, 'prompt')
-        iter_ = self.move_cursor(len(text))
+            iter_ = self.get_cursor_iter()
+            self.text_buffer.insert_with_tags_by_name(iter_, text, 'prompt')
+        iter_.forward_chars(4)
         mark = self.text_buffer.create_mark('line_start', iter_, True)
         self.text_buffer.place_cursor(iter_)
         self.scroll_to_mark(mark, 0.2)
