Helpviewer/History/HistoryManager.py

changeset 38
5fe2b7deab15
parent 13
1af94a91f439
child 168
3383117f894b
equal deleted inserted replaced
37:bfe92e414977 38:5fe2b7deab15
132 """ 132 """
133 Public method to return the history. 133 Public method to return the history.
134 134
135 @return reference to the list of history entries (list of HistoryEntry) 135 @return reference to the list of history entries (list of HistoryEntry)
136 """ 136 """
137 return self.__history 137 return self.__history[:]
138 138
139 def setHistory(self, history, loadedAndSorted = False): 139 def setHistory(self, history, loadedAndSorted = False):
140 """ 140 """
141 Public method to set a new history. 141 Public method to set a new history.
142 142

eric ide

mercurial