diff -r 5d807e997391 -r c6011e501282 src/eric7/Plugins/PluginTranslator.py
--- a/src/eric7/Plugins/PluginTranslator.py Sat Dec 16 17:52:02 2023 +0100
+++ b/src/eric7/Plugins/PluginTranslator.py Sun Dec 17 17:15:19 2023 +0100
@@ -190,7 +190,7 @@
@param key the key of the value to get
@type str
@return the requested setting
- @rtype any
+ @rtype Any
"""
return self.__defaults[key]
@@ -201,7 +201,7 @@
@param key the key of the value to get
@type str
@return the requested setting
- @rtype any
+ @rtype Any
"""
if key in ("EnabledLanguages"):
return Preferences.toList(
@@ -227,7 +227,7 @@
@param key the key of the setting to be set
@type str
@param value the value to be set
- @type any
+ @type Any
"""
Preferences.getSettings().setValue(self.PreferencesKey + "/" + key, value)
