93 self.__defaults = { |
93 self.__defaults = { |
94 "RecentBrokersWithPort": "[]", # JSON formatted empty list |
94 "RecentBrokersWithPort": "[]", # JSON formatted empty list |
95 "BrokerProfiles": "{}", # JSON formatted empty dict |
95 "BrokerProfiles": "{}", # JSON formatted empty dict |
96 # __IGNORE_WARNING_M613__ |
96 # __IGNORE_WARNING_M613__ |
97 "MostRecentProfile": "", # most recently used profile |
97 "MostRecentProfile": "", # most recently used profile |
|
98 "SubscribeProperties": "{}", # JSON formatted empty dict |
|
99 # __IGNORE_WARNING_M613__ |
|
100 "UnsubscribeProperties": "{}", # JSON formatted empty dict |
|
101 # __IGNORE_WARNING_M613__ |
98 } |
102 } |
99 |
103 |
100 self.__translator = None |
104 self.__translator = None |
101 self.__loadTranslator() |
105 self.__loadTranslator() |
102 |
106 |
210 @param key key of the setting |
214 @param key key of the setting |
211 @type str |
215 @type str |
212 @return value of the requested setting |
216 @return value of the requested setting |
213 @rtype Any |
217 @rtype Any |
214 """ |
218 """ |
215 if key in ["RecentBrokersWithPort", "BrokerProfiles"]: |
219 if key in ["RecentBrokersWithPort", "BrokerProfiles", |
|
220 "SubscribeProperties", "UnsubscribeProperties"]: |
216 return json.loads(Preferences.Prefs.settings.value( |
221 return json.loads(Preferences.Prefs.settings.value( |
217 self.PreferencesKey + "/" + key, self.__defaults[key])) |
222 self.PreferencesKey + "/" + key, self.__defaults[key])) |
218 else: |
223 else: |
219 return Preferences.Prefs.settings.value( |
224 return Preferences.Prefs.settings.value( |
220 self.PreferencesKey + "/" + key, self.__defaults[key]) |
225 self.PreferencesKey + "/" + key, self.__defaults[key]) |
226 @param key key of the setting to be set |
231 @param key key of the setting to be set |
227 @type str |
232 @type str |
228 @param value value to be set |
233 @param value value to be set |
229 @type Any |
234 @type Any |
230 """ |
235 """ |
231 if key in ["RecentBrokersWithPort", "BrokerProfiles"]: |
236 if key in ["RecentBrokersWithPort", "BrokerProfiles", |
|
237 "SubscribeProperties", "UnsubscribeProperties"]: |
232 Preferences.Prefs.settings.setValue( |
238 Preferences.Prefs.settings.setValue( |
233 self.PreferencesKey + "/" + key, json.dumps(value)) |
239 self.PreferencesKey + "/" + key, json.dumps(value)) |
234 else: |
240 else: |
235 Preferences.Prefs.settings.setValue( |
241 Preferences.Prefs.settings.setValue( |
236 self.PreferencesKey + "/" + key, value) |
242 self.PreferencesKey + "/" + key, value) |