PluginManager/PluginManager.py

changeset 438
f62a3f9d2e28
parent 415
59a0f9e90768
child 495
b31b0bffa5b0
diff -r 6a62ad60fa99 -r f62a3f9d2e28 PluginManager/PluginManager.py
--- a/PluginManager/PluginManager.py	Sat Jul 31 12:17:49 2010 +0200
+++ b/PluginManager/PluginManager.py	Sat Jul 31 12:20:32 2010 +0200
@@ -809,11 +809,15 @@
         
         for module in list(self.__activeModules.values()) + \
                       list(self.__inactiveModules.values()):
-            if hasattr(module, "exeDisplayData"):
+            if hasattr(module, "exeDisplayDataList"):
+                infos.extend(module.exeDisplayDataList())
+            elif hasattr(module, "exeDisplayData"):
                 infos.append(module.exeDisplayData())
         for module in list(self.__onDemandActiveModules.values()) + \
                       list(self.__onDemandInactiveModules.values()):
-            if hasattr(module, "exeDisplayData"):
+            if hasattr(module, "exeDisplayDataList"):
+                infos.extend(module.exeDisplayDataList())
+            elif hasattr(module, "exeDisplayData"):
                 infos.append(module.exeDisplayData())
         
         return infos

eric ide

mercurial