ThirdParty/Pygments/pygments/lexers/__init__.py

changeset 2591
b1c918293219
parent 2426
da76c71624de
child 4172
4f20dba37ab6
--- a/ThirdParty/Pygments/pygments/lexers/__init__.py	Thu Apr 18 19:08:09 2013 +0200
+++ b/ThirdParty/Pygments/pygments/lexers/__init__.py	Thu Apr 18 19:09:20 2013 +0200
@@ -187,7 +187,7 @@
         if rv == 1.0:
             return lexer(**options)
         result.append((rv, lexer))
-    result.sort()
+    result.sort(key=lambda k: k[0])
     if not result[-1][0] and primary is not None:
         return primary(**options)
     return result[-1][1](**options)

eric ide

mercurial