Mercurial Repositories > eric / file comparison
comparison: src/eric7/Plugins/PluginTranslator.py
src/eric7/Plugins/PluginTranslator.py
- branch
- eric7
- changeset 10417
- c6011e501282
- parent 10069
- 435cc5875135
- child 10439
- 21c28b0f9e41
equal
deleted
inserted
replaced
| 10416:5d807e997391 | 10417:c6011e501282 |
|---|---|
| 188 Public method to retrieve the various default settings. | 188 Public method to retrieve the various default settings. |
| 189 | 189 |
| 190 @param key the key of the value to get | 190 @param key the key of the value to get |
| 191 @type str | 191 @type str |
| 192 @return the requested setting | 192 @return the requested setting |
| 193 @rtype any | 193 @rtype Any |
| 194 """ | 194 """ |
| 195 return self.__defaults[key] | 195 return self.__defaults[key] |
| 196 | 196 |
| 197 def getPreferences(self, key): | 197 def getPreferences(self, key): |
| 198 """ | 198 """ |
| 199 Public method to retrieve the various settings. | 199 Public method to retrieve the various settings. |
| 200 | 200 |
| 201 @param key the key of the value to get | 201 @param key the key of the value to get |
| 202 @type str | 202 @type str |
| 203 @return the requested setting | 203 @return the requested setting |
| 204 @rtype any | 204 @rtype Any |
| 205 """ | 205 """ |
| 206 if key in ("EnabledLanguages"): | 206 if key in ("EnabledLanguages"): |
| 207 return Preferences.toList( | 207 return Preferences.toList( |
| 208 Preferences.getSettings().value( | 208 Preferences.getSettings().value( |
| 209 self.PreferencesKey + "/" + key, self.__defaults[key] | 209 self.PreferencesKey + "/" + key, self.__defaults[key] |
| 225 Public method to store the various settings. | 225 Public method to store the various settings. |
| 226 | 226 |
| 227 @param key the key of the setting to be set | 227 @param key the key of the setting to be set |
| 228 @type str | 228 @type str |
| 229 @param value the value to be set | 229 @param value the value to be set |
| 230 @type any | 230 @type Any |
| 231 """ | 231 """ |
| 232 Preferences.getSettings().setValue(self.PreferencesKey + "/" + key, value) | 232 Preferences.getSettings().setValue(self.PreferencesKey + "/" + key, value) |
| 233 | 233 |
| 234 if key in ["EnabledLanguages"]: | 234 if key in ["EnabledLanguages"]: |
| 235 self.updateLanguages.emit() | 235 self.updateLanguages.emit() |
