Show More
@@ -341,6 +341,7 class colorui(uimod.ui): | |||
|
341 | 341 | if self._colormode is None: |
|
342 | 342 | return super(colorui, self).popbuffer(labeled) |
|
343 | 343 | |
|
344 | self._bufferstates.pop() | |
|
344 | 345 | if labeled: |
|
345 | 346 | return ''.join(self.label(a, label) for a, label |
|
346 | 347 | in self._buffers.pop()) |
@@ -366,6 +367,8 class colorui(uimod.ui): | |||
|
366 | 367 | return super(colorui, self).write_err(*args, **opts) |
|
367 | 368 | |
|
368 | 369 | label = opts.get('label', '') |
|
370 | if self._bufferstates and self._bufferstates[-1]: | |
|
371 | return self.write(*args, **opts) | |
|
369 | 372 | if self._colormode == 'win32': |
|
370 | 373 | for a in args: |
|
371 | 374 | win32print(a, super(colorui, self).write_err, **opts) |
General Comments 0
You need to be logged in to leave comments.
Login now