Le 28/01/2021 à 15:54, Richard Kimberly Heck a écrit :
>> - if (cur.needBufferUpdate()) {
>> + if (cur.needBufferUpdate() || buffer().needUpdate()) {
>> cur.clearBufferUpdate();
>
> Shouldn't the Buffer::updateBuffer_ member also be reset here?
Good catch. Thanks.
JMarc