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
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
