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