diff options
author | Manuel Quiñones <manuq@laptop.org> | 2011-12-20 13:43:28 (GMT) |
---|---|---|
committer | Manuel Quiñones <manuq@laptop.org> | 2011-12-20 13:43:28 (GMT) |
commit | 14102bcd65f015dcbf12d1406df8ef7ffb64d13d (patch) | |
tree | ad2dd6965ecc6eb1054959ffad21525243b55896 /browser.py | |
parent | c6cb9713466d7fc9fb81cd2c6102bd97e89089b5 (diff) |
Store and restore session for each tab
For going to a specific item in the history, it uses go_back() method
of WebKit.WebView. I tried also with WebKit.WebHistoryItem go_back(),
seemed the proper solution, but the page wouldn't update.
Signed-off-by: Manuel Quiñones <manuq@laptop.org>
Diffstat (limited to 'browser.py')
-rw-r--r-- | browser.py | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -31,8 +31,9 @@ from sugar3.activity import activity from sugar3.graphics import style from sugar3.graphics.icon import Icon +import sessionstore + # FIXME -# import sessionstore # from palettes import ContentInvoker # from sessionhistory import HistoryListener # from progresslistener import ProgressListener @@ -291,7 +292,8 @@ class TabbedView(BrowserNotebook): def get_session(self): tab_sessions = [] for index in xrange(0, self.get_n_pages()): - browser = self.get_nth_page(index) + scrolled_window = self.get_nth_page(index) + browser = scrolled_window.get_child() tab_sessions.append(sessionstore.get_session(browser)) return tab_sessions @@ -463,12 +465,10 @@ class Browser(WebKit.WebView): markupDocumentViewer.fullZoom -= _ZOOM_AMOUNT def get_history_index(self): - return self.web_navigation.sessionHistory.index + return sessionstore.get_history_index(self) def set_history_index(self, index): - if index == -1: - return - self.web_navigation.gotoIndex(index) + return sessionstore.set_history_index(self, index) def open_new_tab(self, url): self.emit('new-tab', url) |