##// END OF EJS Templates
color: bring back colors with pager...
Yuya Nishihara -
r11207:1d714c15 default
parent child Browse files
Show More
@@ -198,10 +198,14 def uisetup(ui):
198 198 _effects.update(w32effects)
199 199 elif mode != 'ansi':
200 200 return
201
202 # check isatty() before anything else changes it (like pager)
203 isatty = sys.__stdout__.isatty()
204
201 205 def colorcmd(orig, ui_, opts, cmd, cmdfunc):
202 206 if (opts['color'] == 'always' or
203 207 (opts['color'] == 'auto' and (os.environ.get('TERM') != 'dumb'
204 and sys.__stdout__.isatty()))):
208 and isatty))):
205 209 global _buffers
206 210 _buffers = ui_._buffers
207 211 extensions.wrapfunction(ui_, 'popbuffer', popbuffer)
General Comments 0
You need to be logged in to leave comments. Login now