Re: [PATCH] EWW - use revert--buffer-function to reload, and allow reload in eww-list-buffer

[Sebastián Monía]

Adam Porter <adam@alphapapa.net> writes:

>> These sound a bit like micro-optimizations, how many eww buffers can
>> one
>> person have open that these speed differences would matter?
>
> I'm sure that the difference would not be noticeable.  But when
> committing new code, why not choose the most efficient implementation,
> when the size and complexity of the source code is equivalent?  Over
> 30 or 40 years, little things add up.

And I was wrong, the difference doesn't depend only on the number of eww
buffers. The older version of eww-buffer-list' also used
with-current-buffer and it checked _all live buffers_.
That's potentially a lot more than only eww buffers.

Thank you!
Seb