ThirdParty/Pygments/pygments/formatters/other.py

changeset 12
1d8dd9706f46
parent 0
de9c2efb9d02
child 684
2f29a0b6e1c7
equal deleted inserted replaced
11:b0996e4a289e 12:1d8dd9706f46
101 def write(text): 101 def write(text):
102 outfile.write(text.encode()) 102 outfile.write(text.encode())
103 flush = outfile.flush 103 flush = outfile.flush
104 104
105 lasttype = None 105 lasttype = None
106 lastval = u'' 106 lastval = ''
107 if self.error_color: 107 if self.error_color:
108 for ttype, value in tokensource: 108 for ttype, value in tokensource:
109 line = "%s\t%r\n" % (ttype, value) 109 line = "%s\t%r\n" % (ttype, value)
110 if ttype is Token.Error: 110 if ttype is Token.Error:
111 write(colorize(self.error_color, line)) 111 write(colorize(self.error_color, line))

eric ide

mercurial