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 """ |