[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#18: Fine-grained revert-buffer

From: Mauro Aranda
Subject: bug#18: Fine-grained revert-buffer
Date: Mon, 29 Apr 2019 20:32:06 -0300

Richard Stallman <address@hidden> 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,

reply via email to

[Prev in Thread] Current Thread [Next in Thread]