Am Donnerstag, dem 19.09.2024 um 16:16 +0200 schrieb Jean-Marc Lasgouttes: > What I have in mind as a simpler alternative is this (like the last > patch, with vector instead of map).
Seems to make sense. I have no time to look closer now, unfortunately. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
