##// END OF EJS Templates
record: use set instead of dict
Benoit Boissinot -
r8460:d4c545dc default
parent child Browse files
Show More
@@ -251,7 +251,7 b' def filterpatch(ui, chunks):'
251 """Interactively filter patch chunks into applied-only chunks"""
251 """Interactively filter patch chunks into applied-only chunks"""
252 chunks = list(chunks)
252 chunks = list(chunks)
253 chunks.reverse()
253 chunks.reverse()
254 seen = {}
254 seen = set()
255 def consumefile():
255 def consumefile():
256 """fetch next portion from chunks until a 'header' is seen
256 """fetch next portion from chunks until a 'header' is seen
257 NB: header == new-file mark
257 NB: header == new-file mark
@@ -321,7 +321,7 b' def filterpatch(ui, chunks):'
321 if hdr in seen:
321 if hdr in seen:
322 consumefile()
322 consumefile()
323 continue
323 continue
324 seen[hdr] = True
324 seen.add(hdr)
325 if resp_all[0] is None:
325 if resp_all[0] is None:
326 chunk.pretty(ui)
326 chunk.pretty(ui)
327 r = prompt(_('examine changes to %s?') %
327 r = prompt(_('examine changes to %s?') %
General Comments 0
You need to be logged in to leave comments. Login now