Am Donnerstag, dem 04.03.2021 um 11:52 +0100 schrieb Stephan Witt:
> Yes it works. Thank you.

Great.

> While thinking about the change: wouldn’t it be better to move
> clear()
> into fill()?
> 
> Like the attached. In practice it’s the same probably. In theory it
> looks more safe.

I don't think we ever need to clear() there, as this only starts either
from scratch or from refill(). Otherwise we would have noticed. So I'd
go with my version.

Thanks
Jürgen


Attachment: signature.asc
Description: This is a digitally signed message part

-- 
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel

Reply via email to