ViewManager/__init__.py

changeset 2965
d133c7edd88a
parent 2302
f29e9405c851
child 3057
10516539f238
child 3160
209a07d7e401
--- a/ViewManager/__init__.py	Sun Sep 29 15:54:10 2013 +0200
+++ b/ViewManager/__init__.py	Sun Sep 29 18:22:08 2013 +0200
@@ -35,6 +35,7 @@
     @param dbs reference to the debug server object
     @param pluginManager reference to the plugin manager object
     @return the instantiated viewmanager
+    @exception RuntimeError raised if no view manager could be created
     """
     viewManagerStr = Preferences.getViewManager()
     vm = pluginManager.getPluginObject("viewmanager", viewManagerStr)

eric ide

mercurial