diff -r c712d09cc839 -r f6881d10e995 src/eric7/ViewManager/__init__.py --- a/src/eric7/ViewManager/__init__.py Fri Dec 22 13:57:47 2023 +0100 +++ b/src/eric7/ViewManager/__init__.py Fri Dec 22 17:24:07 2023 +0100 @@ -31,9 +31,13 @@ the current preferences. @param ui reference to the main UI object + @type UserInterface @param dbs reference to the debug server object + @type DebugServer @param pluginManager reference to the plugin manager object + @type PluginManager @return the instantiated viewmanager + @rtype ViewManager @exception RuntimeError raised if no view manager could be created """ viewManagerStr = Preferences.getViewManager()