35 @param parent parent widget (QWidget) |
35 @param parent parent widget (QWidget) |
36 @param ui reference to the main UI object |
36 @param ui reference to the main UI object |
37 @param dbs reference to the debug server object |
37 @param dbs reference to the debug server object |
38 @param pluginManager reference to the plugin manager object |
38 @param pluginManager reference to the plugin manager object |
39 @return the instantiated viewmanager |
39 @return the instantiated viewmanager |
|
40 @exception RuntimeError raised if no view manager could be created |
40 """ |
41 """ |
41 viewManagerStr = Preferences.getViewManager() |
42 viewManagerStr = Preferences.getViewManager() |
42 vm = pluginManager.getPluginObject("viewmanager", viewManagerStr) |
43 vm = pluginManager.getPluginObject("viewmanager", viewManagerStr) |
43 if vm is None: |
44 if vm is None: |
44 # load tabview view manager as default |
45 # load tabview view manager as default |