mirror of
https://github.com/facebook/sapling.git
synced 2024-10-07 15:27:13 +03:00
ui.py: don't let parent and child ui objects share header and prev_header
This commit is contained in:
parent
4cb87ef8d8
commit
5ea7f93fd6
@ -14,6 +14,8 @@ class ui(object):
|
||||
def __init__(self, verbose=False, debug=False, quiet=False,
|
||||
interactive=True, traceback=False, parentui=None):
|
||||
self.overlay = {}
|
||||
self.header = []
|
||||
self.prev_header = []
|
||||
if parentui is None:
|
||||
# this is the parent of all ui children
|
||||
self.parentui = None
|
||||
@ -29,8 +31,6 @@ class ui(object):
|
||||
|
||||
self.updateopts(verbose, debug, quiet, interactive)
|
||||
self.diffcache = None
|
||||
self.header = []
|
||||
self.prev_header = []
|
||||
self.revlogopts = self.configrevlog()
|
||||
else:
|
||||
# parentui may point to an ui object which is already a child
|
||||
|
Loading…
Reference in New Issue
Block a user