summaryrefslogtreecommitdiffstats
path: root/unit_trace/viz/viewer.py
diff options
context:
space:
mode:
authorGary Bressler <garybressler@nc.rr.com>2010-03-15 14:27:24 -0400
committerGary Bressler <garybressler@nc.rr.com>2010-03-15 14:27:24 -0400
commite6dbe1605d8ae52ee65a08e929ed1810bd07d45c (patch)
tree82e81bd86f5760137e9c6079b50c89b4615f1d6e /unit_trace/viz/viewer.py
parent9f0f4526b7cc6829f371b6e4bafb874ef0caa56a (diff)
Some fix-ups to viz, including with the scrolling
Diffstat (limited to 'unit_trace/viz/viewer.py')
-rw-r--r--unit_trace/viz/viewer.py5
1 files changed, 2 insertions, 3 deletions
diff --git a/unit_trace/viz/viewer.py b/unit_trace/viz/viewer.py
index ee5c230..120c7e7 100644
--- a/unit_trace/viz/viewer.py
+++ b/unit_trace/viz/viewer.py
@@ -377,12 +377,11 @@ class MainWindow(gtk.Window):
377 377
378 def switch_page(self, widget, page, page_num): 378 def switch_page(self, widget, page, page_num):
379 if self.notebook.get_nth_page(self.notebook.last_page) is not None: 379 if self.notebook.get_nth_page(self.notebook.last_page) is not None:
380 hadj = self.notebook.get_nth_page(self.notebook.last_page).get_hadjustment() 380 old_value = self.notebook.get_nth_page(self.notebook.last_page).get_hadjustment().get_value()
381 old_value = hadj.get_value()
382 old_ofs = self.notebook.get_nth_page(self.notebook.last_page).get_graph_area().get_graph().get_origin()[0] 381 old_ofs = self.notebook.get_nth_page(self.notebook.last_page).get_graph_area().get_graph().get_origin()[0]
383 new_ofs = self.notebook.get_nth_page(page_num).get_graph_area().get_graph().get_origin()[0] 382 new_ofs = self.notebook.get_nth_page(page_num).get_graph_area().get_graph().get_origin()[0]
384 new_value = old_value - old_ofs + new_ofs 383 new_value = old_value - old_ofs + new_ofs
385 hadj.set_value(new_value) 384 self.notebook.get_nth_page(page_num).get_hadjustment().set_value(new_value)
386 385
387 self.notebook.last_page = page_num 386 self.notebook.last_page = page_num
388 387