Fix scroll to mark bug on added page

svn: r22236
This commit is contained in:
Nick Hall 2013-05-10 00:07:16 +00:00
parent 7ba9ca93da
commit cf04a983a4

View File

@ -845,7 +845,7 @@ class ToolManagedWindowBase(ManagedWindow):
def write_to_page(self, page, text): def write_to_page(self, page, text):
buffer = page.get_buffer() buffer = page.get_buffer()
mark = buffer.create_mark("end", buffer.get_end_iter()) mark = buffer.create_mark("end", buffer.get_end_iter())
self.results_text.scroll_to_mark(mark, 0.0, True, 0, 0) page.scroll_to_mark(mark, 0.0, True, 0, 0)
buffer.insert_at_cursor(text) buffer.insert_at_cursor(text)
buffer.delete_mark_by_name("end") buffer.delete_mark_by_name("end")