16:c06fb4cb120e | 17:8c52c75a860c |
---|---|
146 super().__init__(ui) | 146 super().__init__(ui) |
147 self.__ui = ui | 147 self.__ui = ui |
148 self.__initialize() | 148 self.__initialize() |
149 | 149 |
150 self.__defaults = { | 150 self.__defaults = { |
151 # TODO: fill this dictionary with preferences default values | |
152 "RecentAppWorkdirs": [], | 151 "RecentAppWorkdirs": [], |
153 "MaxRecentAppWorkdirs": 20, | 152 "MaxRecentAppWorkdirs": 20, |
154 } | 153 } |
155 | 154 |
156 self.__translator = None | 155 self.__translator = None |