Helpviewer/History/HistoryManager.py

changeset 1626
a77c8ea8582c
parent 1623
6b9654035a7c
child 1670
6fd889391d2c
equal deleted inserted replaced
1625:4f03e45703e9 1626:a77c8ea8582c
341 Public method to get the file name of the history file. 341 Public method to get the file name of the history file.
342 342
343 @return name of the history file (string) 343 @return name of the history file (string)
344 """ 344 """
345 return os.path.join(Utilities.getConfigDir(), "browser", "history") 345 return os.path.join(Utilities.getConfigDir(), "browser", "history")
346
347 def reload(self):
348 """
349 Public method to reload the history.
350 """
351 self.__load()
346 352
347 def __load(self): 353 def __load(self):
348 """ 354 """
349 Private method to load the saved history entries from disk. 355 Private method to load the saved history entries from disk.
350 """ 356 """

eric ide

mercurial