[meld] ui.findbar: Fix scroll_to_mark calls



commit 186412a9fe6350126e789bfdee71781a8cfb3565
Author: Kai Willadsen <kai willadsen gmail com>
Date:   Sat Nov 23 12:48:21 2013 +1000

    ui.findbar: Fix scroll_to_mark calls

 meld/ui/findbar.py |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/meld/ui/findbar.py b/meld/ui/findbar.py
index 92a7485..4657749 100644
--- a/meld/ui/findbar.py
+++ b/meld/ui/findbar.py
@@ -114,7 +114,8 @@ class FindBar(gnomeglade.Component):
         buf.end_user_action()
         if not saved_insert.get_deleted():
             buf.place_cursor(buf.get_iter_at_mark(saved_insert))
-            self.textview.scroll_to_mark(buf.get_insert(), 0.25)
+            self.textview.scroll_to_mark(
+                buf.get_insert(), 0.25, True, 0.5, 0.5)
 
     def on_find_entry_changed(self, entry):
         entry.override_background_color(Gtk.StateType.NORMAL,
@@ -161,7 +162,8 @@ class FindBar(gnomeglade.Component):
                 buf.place_cursor(it)
                 it.forward_chars(match.end() - match.start())
                 buf.move_mark(buf.get_selection_bound(), it)
-                self.textview.scroll_to_mark(buf.get_insert(), 0.25)
+                self.textview.scroll_to_mark(
+                    buf.get_insert(), 0.25, True, 0.5, 0.5)
                 return True
             else:
                 buf.place_cursor(buf.get_iter_at_mark(buf.get_insert()))


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]