set/restore index patch

1 files changed, 6 insertions, 0 deletions

diff --git a/browser.py b/browser.py
index 649a71e..733b12c 100644
--- a/browser.py
+++ b/browser.py
@@ -357,6 +357,12 @@ class Browser(WebView):
                     interfaces.nsIMarkupDocumentViewer)
             markupDocumentViewer.fullZoom -= _ZOOM_AMOUNT
 
+    def get_history_index(self):
+        return self.web_navigation.sessionHistory.index
+
+    def set_history_index(self, index):
+        self.web_navigation.gotoIndex(index)
+
 
 class PopupDialog(gtk.Window):
     def __init__(self):