Helpviewer/History/HistoryManager.py

changeset 1626
a77c8ea8582c
parent 1623
6b9654035a7c
child 1670
6fd889391d2c
diff -r 4f03e45703e9 -r a77c8ea8582c Helpviewer/History/HistoryManager.py
--- a/Helpviewer/History/HistoryManager.py	Thu Feb 16 19:01:32 2012 +0100
+++ b/Helpviewer/History/HistoryManager.py	Fri Feb 17 19:39:37 2012 +0100
@@ -344,6 +344,12 @@
         """
         return os.path.join(Utilities.getConfigDir(), "browser", "history")
     
+    def reload(self):
+        """
+        Public method to reload the history.
+        """
+        self.__load()
+    
     def __load(self):
         """
         Private method to load the saved history entries from disk.

eric ide

mercurial