mercurial/ui.py
changeset 2072 74d3f5336b66
parent 2033 e3280d350792
child 2166 d0c02b4dce9a
--- a/mercurial/ui.py	Mon Apr 03 10:02:09 2006 -0700
+++ b/mercurial/ui.py	Tue Apr 04 16:38:43 2006 -0400
@@ -29,6 +29,7 @@
             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
             self.parentui = parentui.parentui or parentui
@@ -134,6 +135,12 @@
                 result.append(path)
         return result
 
+    def configrevlog(self):
+        ret = {}
+        for x in self.configitems("revlog"):
+            k = x[0].lower()
+            ret[k] = x[1]
+        return ret
     def diffopts(self):
         if self.diffcache:
             return self.diffcache