equal
deleted
inserted
replaced
33 self.prev_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 |
37 self.parentui = parentui.parentui or parentui |
37 self.parentui = parentui.parentui or parentui |
38 self.readhooks = parentui.readhooks[:] |
38 self.readhooks = self.parentui.readhooks[:] |
39 parent_cdata = self.parentui.cdata |
39 parent_cdata = self.parentui.cdata |
40 self.cdata = ConfigParser.SafeConfigParser(parent_cdata.defaults()) |
40 self.cdata = ConfigParser.SafeConfigParser(parent_cdata.defaults()) |
41 # make interpolation work |
41 # make interpolation work |
42 for section in parent_cdata.sections(): |
42 for section in parent_cdata.sections(): |
43 self.cdata.add_section(section) |
43 self.cdata.add_section(section) |