##// END OF EJS Templates
color: use ui.formatted().
Dan Villiom Podlaski Christiansen -
r11326:c89309fa default
parent child Browse files
Show More
@@ -198,14 +198,10 b' 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
205 201 def colorcmd(orig, ui_, opts, cmd, cmdfunc):
206 202 if (opts['color'] == 'always' or
207 203 (opts['color'] == 'auto' and (os.environ.get('TERM') != 'dumb'
208 and isatty))):
204 and ui_.formatted()))):
209 205 global _buffers
210 206 _buffers = ui_._buffers
211 207 extensions.wrapfunction(ui_, 'popbuffer', popbuffer)
General Comments 0
You need to be logged in to leave comments. Login now