diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-01-18 22:43:16 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-01-18 22:43:16 +0100 |
| commit | dbcd4d39dbf80b9cb980478130ad9061e20dbb5b (patch) | |
| tree | f7bde96e472fbfad6f2d8216ab2ef5bf4e3f8dde /grc/gui/MainWindow.py | |
| parent | c3fc18011f2712708dd70451437679f1c14736b9 (diff) | |
grc: fix report window auto-scrolling
Diffstat (limited to 'grc/gui/MainWindow.py')
| -rw-r--r-- | grc/gui/MainWindow.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/grc/gui/MainWindow.py b/grc/gui/MainWindow.py index 14139691d2..3a68ed8951 100644 --- a/grc/gui/MainWindow.py +++ b/grc/gui/MainWindow.py @@ -100,7 +100,7 @@ class MainWindow(gtk.Window): #house the reports in a scrolled window self.reports_scrolled_window = gtk.ScrolledWindow() self.reports_scrolled_window.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_AUTOMATIC) - self.reports_scrolled_window.add_with_viewport(self.text_display) + self.reports_scrolled_window.add(self.text_display) self.reports_scrolled_window.set_size_request(-1, DEFAULT_REPORTS_WINDOW_WIDTH) self.flow_graph_vpaned.pack2(self.reports_scrolled_window, False) #dont allow resize #load preferences and show the main window @@ -153,9 +153,7 @@ class MainWindow(gtk.Window): line: the new text """ self.text_display.insert(line) - vadj = self.reports_scrolled_window.get_vadjustment() - vadj.value = vadj.upper - vadj.page_size - vadj.changed() + self.text_display.scroll_mark_onscreen(self.text_display.get_buffer().get_insert()) ############################################################ # Pages: create and close |