--- 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()