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
- branch
- 5_3_x
- changeset 2668
- 4c5320acf00d
- parent 2667
- 3e741f0db4da
- child 2675
- 3215c3dc3bfa
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
