[jhbuild: 57/60] [gui] move textview mark with the correct API



commit 846fdf4e4bdab2022457483752ada9684dd31a6c
Author: Frédéric Péters <fpeters 0d be>
Date:   Sat Jun 6 12:31:25 2009 +0200

    [gui] move textview mark with the correct API
---
 jhbuild/frontends/gtkui.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/jhbuild/frontends/gtkui.py b/jhbuild/frontends/gtkui.py
index 0768b38..a2494c0 100644
--- a/jhbuild/frontends/gtkui.py
+++ b/jhbuild/frontends/gtkui.py
@@ -517,7 +517,7 @@ class AppWindow(gtk.Window, buildscript.BuildScript):
 
                 mark = textbuffer.get_mark('end')
                 if mark:
-                    mark.move_mark(textbuffer.get_end_iter())
+                    textbuffer.move_mark(mark, textbuffer.get_end_iter())
                 else:
                     mark = textbuffer.create_mark('end', textbuffer.get_end_iter(), False)
                 self.terminal.scroll_to_mark(mark, 0.05, True, 0.0, 1.0)



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