diff -r 8bc578136279 -r 4f20dba37ab6 ThirdParty/Pygments/pygments/token.py
--- a/ThirdParty/Pygments/pygments/token.py Wed Mar 11 18:25:37 2015 +0100
+++ b/ThirdParty/Pygments/pygments/token.py Wed Mar 11 18:32:27 2015 +0100
@@ -5,12 +5,10 @@
Basic token types and the standard tokens.
- :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS.
+ :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
"""
-from __future__ import unicode_literals
-
class _TokenType(tuple):
parent = None
@@ -51,6 +49,7 @@
# Special token types
Text = Token.Text
Whitespace = Text.Whitespace
+Escape = Token.Escape
Error = Token.Error
# Text that doesn't belong to this lexer (e.g. HTML in PHP)
Other = Token.Other
@@ -118,6 +117,7 @@
Text: '',
Whitespace: 'w',
+ Escape: 'esc',
Error: 'err',
Other: 'x',
@@ -166,6 +166,7 @@
String.Symbol: 'ss',
Number: 'm',
+ Number.Bin: 'mb',
Number.Float: 'mf',
Number.Hex: 'mh',
Number.Integer: 'mi',
