Preferences/ProgramsDialog.py

changeset 686
b672b36f3efb
parent 438
f62a3f9d2e28
child 791
9ec2ac20e54e
--- a/Preferences/ProgramsDialog.py	Wed Oct 20 08:39:56 2010 +0200
+++ b/Preferences/ProgramsDialog.py	Wed Oct 20 19:04:48 2010 +0200
@@ -174,6 +174,22 @@
             version = ""
         self.__createEntry(self.trUtf8("Spell Checker - PyEnchant"), text, version)
         
+        # 8. do the pygments entry
+        try:
+            import pygments
+            try:
+                text = os.path.dirname(pygments.__file__)
+            except AttributeError:
+                text = "pygments"
+            try:
+                version = pygments.__version__
+            except AttributeError:
+                version = self.trUtf8("(unknown)")
+        except (ImportError, AttributeError, OSError):
+            text = "pygments"
+            version = ""
+        self.__createEntry(self.trUtf8("Source Highlighter - Pygments"), text, version)
+        
         # do the plugin related programs
         pm = e5App().getObject("PluginManager")
         for info in pm.getPluginExeDisplayData():

eric ide

mercurial