PluginPipxInterface.py

changeset 17
8c52c75a860c
parent 15
2fb8d19c38ae
child 23
4c18addf12b2
equal deleted inserted replaced
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

eric ide

mercurial