Mercurial Repositories > eric / changeset
changeset
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 |
diff -r 37b3ec77f2c4 -r 56add695787e eric5.py --- 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
diff -r 37b3ec77f2c4 -r 56add695787e eric5_configure.py --- 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
diff -r 37b3ec77f2c4 -r 56add695787e eric5_editor.py --- 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
diff -r 37b3ec77f2c4 -r 56add695787e eric5_webbrowser.py --- 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
