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? -- Jürgen -- lyx-devel mailing list [email protected] https://lists.lyx.org/mailman/listinfo/lyx-devel
