| commit | 1e2d3a22ab6d0fa7657428c3ed58711fd2c5a821 | [log] [tgz] |
|---|---|---|
| author | Eric Fischer <enf@google.com> | Thu Sep 17 10:53:10 2009 -0700 |
| committer | Eric Fischer <enf@google.com> | Thu Sep 17 10:53:10 2009 -0700 |
| tree | c3c8677f60db3d2581a3a65d580e1a6da7efb0c9 | |
| parent | 3b1a35503f6ea58e14a3c466ffe2e3522b5e47c4 [diff] |
Second try at fixing replacement of a range of digits with a pause. It was still not working all the time, because the automatic number formatter could change the buffer offsets in between the deletion of the old digits and the insertion of the pause character. Do it as a single operation so that nothing can happen in between.