Removed the support for platform global pygments installation. We always use our built-in variant, which has a serious bug fixed.

Mon, 20 May 2013 11:42:14 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Mon, 20 May 2013 11:42:14 +0200
changeset 2664
56add695787e
parent 2663
37b3ec77f2c4
child 2665
edc098381123

Removed the support for platform global pygments installation. We always use our built-in variant, which has a serious bug fixed.

eric5.py file | annotate | diff | comparison | revisions
eric5_configure.py file | annotate | diff | comparison | revisions
eric5_editor.py file | annotate | diff | comparison | revisions
eric5_webbrowser.py file | annotate | diff | comparison | revisions
--- a/eric5.py	Mon May 20 11:36:02 2013 +0200
+++ b/eric5.py	Mon May 20 11:42:14 2013 +0200
@@ -43,10 +43,7 @@
         break
 
 # make Third-Party package available as a packages repository
-try:
-    import pygments     # __IGNORE_EXCEPTION__ __IGNORE_WARNING__
-except ImportError:
-    sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
+sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
 
 from E5Gui.E5Application import E5Application
 
--- a/eric5_configure.py	Mon May 20 11:36:02 2013 +0200
+++ b/eric5_configure.py	Mon May 20 11:42:14 2013 +0200
@@ -22,10 +22,7 @@
         break
 
 # make ThirdParty package available as a packages repository
-try:
-    import pygments     # __IGNORE_EXCEPTION__ __IGNORE_WARNING__
-except ImportError:
-    sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
+sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
 
 from Globals import AppInfo
 
--- a/eric5_editor.py	Mon May 20 11:36:02 2013 +0200
+++ b/eric5_editor.py	Mon May 20 11:42:14 2013 +0200
@@ -24,10 +24,7 @@
         break
 
 # make ThirdParty package available as a packages repository
-try:
-    import pygments     # __IGNORE_EXCEPTION__ __IGNORE_WARNING__
-except ImportError:
-    sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
+sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
 
 from Globals import AppInfo
 
--- a/eric5_webbrowser.py	Mon May 20 11:36:02 2013 +0200
+++ b/eric5_webbrowser.py	Mon May 20 11:42:14 2013 +0200
@@ -24,10 +24,7 @@
         break
 
 # make ThirdParty package available as a packages repository
-try:
-    import pygments     # __IGNORE_EXCEPTION__ __IGNORE_WARNING__
-except ImportError:
-    sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
+sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
 
 import Globals
 from Globals import AppInfo

eric ide

mercurial