ViewManager/__init__.py

branch
Py2 comp.
changeset 3057
10516539f238
parent 2525
8b507a9a2d40
parent 2965
d133c7edd88a
child 3145
a9de05d4a22f
equal deleted inserted replaced
3056:9986ec0e559a 3057:10516539f238
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

eric ide

mercurial