##// END OF EJS Templates
ui.py: don't let parent and child ui objects share header and prev_header
Alexis S. L. Carvalho -
r3339:0e3c45a7 default
parent child Browse files
Show More
@@ -14,6 +14,8 b' class ui(object):'
14 def __init__(self, verbose=False, debug=False, quiet=False,
14 def __init__(self, verbose=False, debug=False, quiet=False,
15 interactive=True, traceback=False, parentui=None):
15 interactive=True, traceback=False, parentui=None):
16 self.overlay = {}
16 self.overlay = {}
17 self.header = []
18 self.prev_header = []
17 if parentui is None:
19 if parentui is None:
18 # this is the parent of all ui children
20 # this is the parent of all ui children
19 self.parentui = None
21 self.parentui = None
@@ -29,8 +31,6 b' class ui(object):'
29
31
30 self.updateopts(verbose, debug, quiet, interactive)
32 self.updateopts(verbose, debug, quiet, interactive)
31 self.diffcache = None
33 self.diffcache = None
32 self.header = []
33 self.prev_header = []
34 self.revlogopts = self.configrevlog()
34 self.revlogopts = self.configrevlog()
35 else:
35 else:
36 # parentui may point to an ui object which is already a child
36 # parentui may point to an ui object which is already a child
General Comments 0
You need to be logged in to leave comments. Login now