##// END OF EJS Templates
ui: remove last vestiges of header buffering
Matt Mackall -
r3646:069f3acd default
parent child Browse files
Show More
@@ -29,8 +29,6 b' class ui(object):'
29 interactive=True, traceback=False, report_untrusted=True,
29 interactive=True, traceback=False, report_untrusted=True,
30 parentui=None):
30 parentui=None):
31 self.overlay = None
31 self.overlay = None
32 self.header = []
33 self.prev_header = []
34 if parentui is None:
32 if parentui is None:
35 # this is the parent of all ui children
33 # this is the parent of all ui children
36 self.parentui = None
34 self.parentui = None
@@ -362,11 +360,6 b' class ui(object):'
362 return path or loc
360 return path or loc
363
361
364 def write(self, *args):
362 def write(self, *args):
365 if self.header:
366 if self.header != self.prev_header:
367 self.prev_header = self.header
368 self.write(*self.header)
369 self.header = []
370 for a in args:
363 for a in args:
371 sys.stdout.write(str(a))
364 sys.stdout.write(str(a))
372
365
General Comments 0
You need to be logged in to leave comments. Login now