Minor performance issue on shift + down, shift + up on includes

[Jean-Marc Lasgouttes]

Le 03/05/2024 à 11:56, Jean-Marc Lasgouttes a écrit :
> I have part of the answer: the slight delay comes from the fact that 
> updateBuffer() is invoked when the selection becomes empty, and since it 
> goes through all documents, this takes some time.
> 
> Now I have to find out why.

Fixed in master at 9f33db8f. It was a logic error in the commit that 
introduced DispatchResult::forceBufferUpdate().

I do not think it is worth backporting, we had that for the last 14 
years and nobody complained.

JMarc