Project/ProjectBrowser.py

changeset 3600
7d17c492ab95
parent 3532
86ac124f322c
child 3656
441956d8fce5
--- a/Project/ProjectBrowser.py	Wed May 21 18:47:56 2014 +0200
+++ b/Project/ProjectBrowser.py	Wed May 21 19:45:39 2014 +0200
@@ -376,6 +376,15 @@
         else:
             return None
     
+    def getProjectBrowserNames(self):
+        """
+        Public method to get the names of the various project browsers.
+        
+        @return list of project browser names (list of string)
+        """
+        return ["sources", "forms", "resources",
+                "translations", "interfaces", "others"]
+    
     def handlePreferencesChanged(self):
         """
         Public slot used to handle the preferencesChanged signal.

eric ide

mercurial