diff -r fd477cded1c1 -r 4a0f1f896341 eric6/E5Gui/E5Application.py
--- a/eric6/E5Gui/E5Application.py Thu Apr 08 17:27:12 2021 +0200
+++ b/eric6/E5Gui/E5Application.py Thu Apr 08 18:27:47 2021 +0200
@@ -63,10 +63,10 @@
@rtype any
@exception KeyError raised when the given name is not known
"""
- if name in self.__objectRegistry:
- return self.__objectRegistry[name]
- else:
+ if name not in self.__objectRegistry:
raise KeyError('Object "{0}" is not registered.'.format(name))
+
+ return self.__objectRegistry[name]
def registerPluginObject(self, name, objectRef, pluginType=None):
"""
@@ -106,11 +106,11 @@
@rtype any
@exception KeyError raised when the given name is not known
"""
- if name in self.__pluginObjectRegistry:
- return self.__pluginObjectRegistry[name][0]
- else:
+ if name not in self.__pluginObjectRegistry:
raise KeyError(
'Pluginobject "{0}" is not registered.'.format(name))
+
+ return self.__pluginObjectRegistry[name][0]
def getPluginObjects(self):
"""
@@ -135,11 +135,11 @@
@rtype str
@exception KeyError raised when the given name is not known
"""
- if name in self.__pluginObjectRegistry:
- return self.__pluginObjectRegistry[name][1]
- else:
+ if name not in self.__pluginObjectRegistry:
raise KeyError(
'Pluginobject "{0}" is not registered.'.format(name))
+
+ return self.__pluginObjectRegistry[name][1]
def usesDarkPalette(self):
"""
