mirror of
https://github.com/facebook/sapling.git
synced 2024-10-10 08:47:12 +03:00
edrecord: workaround configitem devel-warn
This commit is contained in:
parent
090d0eb5b7
commit
06b664a1b9
@ -24,10 +24,10 @@ def uisetup(ui):
|
||||
class edrecordui(ui.__class__):
|
||||
def interface(self, feature):
|
||||
if feature == "chunkselector":
|
||||
if (self.config("ui", "interface.%s" % feature, None) ==
|
||||
"editor"):
|
||||
configvalue = self.config("ui", "interface.%s" % feature)
|
||||
if configvalue == "editor":
|
||||
return "editor"
|
||||
elif self.config("ui", "interface.%s" % feature, None) is None:
|
||||
elif configvalue is None:
|
||||
if self.config("ui", "interface") == "editor":
|
||||
return "editor"
|
||||
return super(edrecordui, self).interface(feature)
|
||||
@ -85,7 +85,7 @@ def recordfilter(ui, headers, operation=None):
|
||||
for hunk in header.hunks:
|
||||
hunk.write(patch)
|
||||
|
||||
patcheditor = ui.config('ui', 'editor.chunkselector', None)
|
||||
patcheditor = ui.config('ui', 'editor.chunkselector')
|
||||
if patcheditor is not None:
|
||||
override = {('ui', 'editor'): patcheditor}
|
||||
else:
|
||||
|
Loading…
Reference in New Issue
Block a user