diff -r 5d807e997391 -r c6011e501282 src/eric7/EricWidgets/EricApplication.py
--- a/src/eric7/EricWidgets/EricApplication.py Sat Dec 16 17:52:02 2023 +0100
+++ b/src/eric7/EricWidgets/EricApplication.py Sun Dec 17 17:15:19 2023 +0100
@@ -92,7 +92,7 @@
@param name name of the object
@type str
@param objectRef reference to the object
- @type any
+ @type Any
@exception KeyError raised when the given name is already in use
"""
if name in self.__objectRegistry:
@@ -107,7 +107,7 @@
@param name name of the object
@type str
@return reference to the registered object
- @rtype any
+ @rtype Any
@exception KeyError raised when the given name is not known
"""
if name not in self.__objectRegistry:
@@ -122,7 +122,7 @@
@param name name of the plugin object
@type str
@param objectRef reference to the plugin object
- @type any
+ @type Any
@param pluginType type of the plugin object
@type str
@exception KeyError raised when the given name is already in use
@@ -149,7 +149,7 @@
@param name name of the plugin object
@type str
@return reference to the registered plugin object
- @rtype any
+ @rtype Any
@exception KeyError raised when the given name is not known
"""
if name not in self.__pluginObjectRegistry:
