Helpviewer/History/HistoryManager.py

changeset 1133
564b52bf5ea7
parent 1131
7781e396c903
child 1509
c0b5e693b0eb
equal deleted inserted replaced
1132:f8275b31dbe5 1133:564b52bf5ea7
120 120
121 self.__historyModel = HistoryModel(self, self) 121 self.__historyModel = HistoryModel(self, self)
122 self.__historyFilterModel = HistoryFilterModel(self.__historyModel, self) 122 self.__historyFilterModel = HistoryFilterModel(self.__historyModel, self)
123 self.__historyTreeModel = HistoryTreeModel(self.__historyFilterModel, self) 123 self.__historyTreeModel = HistoryTreeModel(self.__historyFilterModel, self)
124 124
125 super().setDefaultInterface() 125 super().setDefaultInterface(self)
126 self.__startFrequencyTimer() 126 self.__startFrequencyTimer()
127 127
128 def close(self): 128 def close(self):
129 """ 129 """
130 Public method to close the history manager. 130 Public method to close the history manager.

eric ide

mercurial