Richard Stallman <
rms@gnu.org> writes:
> It sounds like an improvement in functionality,
> but wouldn't it be a lot slower?
Hello Richard.
Compared to revert-buffer, yes, I would expect it to be slower (not sure
if a lot). But maybe the trade-off between time and preserving some
buffer information is worth it, let's see.
I'm finalizing some benchmarking, which I'll post in another email.
I'll wait for opinions about the results.
Best regards,
Mauro.