equal
deleted
inserted
replaced
443 def write_err(self, *args, **opts): |
443 def write_err(self, *args, **opts): |
444 if self._colormode is None: |
444 if self._colormode is None: |
445 return super(colorui, self).write_err(*args, **opts) |
445 return super(colorui, self).write_err(*args, **opts) |
446 |
446 |
447 label = opts.get('label', '') |
447 label = opts.get('label', '') |
448 if self._bufferstates and self._bufferstates[-1]: |
448 if self._bufferstates and self._bufferstates[-1][0]: |
449 return self.write(*args, **opts) |
449 return self.write(*args, **opts) |
450 if self._colormode == 'win32': |
450 if self._colormode == 'win32': |
451 for a in args: |
451 for a in args: |
452 win32print(a, super(colorui, self).write_err, **opts) |
452 win32print(a, super(colorui, self).write_err, **opts) |
453 else: |
453 else: |