equal
deleted
inserted
replaced
417 "(configured in color.%s)\n") |
417 "(configured in color.%s)\n") |
418 % (e, status)) |
418 % (e, status)) |
419 _styles[status] = ' '.join(good) |
419 _styles[status] = ' '.join(good) |
420 |
420 |
421 class colorui(uimod.ui): |
421 class colorui(uimod.ui): |
422 def popbuffer(self, labeled=False): |
422 def popbuffer(self): |
423 if self._colormode is None: |
423 if self._colormode is None: |
424 return super(colorui, self).popbuffer(labeled) |
424 return super(colorui, self).popbuffer() |
425 |
425 |
426 self._bufferstates.pop() |
426 self._bufferstates.pop() |
427 return ''.join(self._buffers.pop()) |
427 return ''.join(self._buffers.pop()) |
428 |
428 |
429 _colormode = 'ansi' |
429 _colormode = 'ansi' |