diff options
Diffstat (limited to 'unit_trace/viz/viewer.py')
| -rw-r--r-- | unit_trace/viz/viewer.py | 5 |
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 | ||