On Sat, Nov 29, 2025 at 10:05:15AM +0100, Jürgen Spitzmüller wrote: > Am Freitag, dem 28.11.2025 um 23:12 +0100 schrieb Scott Kostyshak: > > Don't we need to do the same thing when deleting a character without > > selection? i.e., might some further operation need updated label > > information? Or for some reason it's specific to selection? > > Do you have evidence that it might be needed in other cases?
I do not. I'm just making guesses without knowing this code at all :) Scott
signature.asc
Description: PGP signature
-- lyx-devel mailing list [email protected] https://lists.lyx.org/mailman/listinfo/lyx-devel
