changeset 5751 | bc475d1f74ca |
parent 5285 | 3ef190234b55 |
child 5826 | cc43d9f36ff2 |
--- a/hgext/record.py Thu Dec 27 19:23:22 2007 +0100 +++ b/hgext/record.py Fri Dec 28 00:03:55 2007 -0600 @@ -247,8 +247,8 @@ if resp_file[0] is not None: return resp_file[0] while True: - r = (ui.prompt(query + _(' [Ynsfdaq?] '), '[Ynsfdaq?]?$', - matchflags=re.I) or 'y').lower() + r = (ui.prompt(query + _(' [Ynsfdaq?] '), '(?i)[Ynsfdaq?]?$') + or 'y').lower() if r == '?': c = record.__doc__.find('y - record this change') for l in record.__doc__[c:].splitlines():