Am Sonntag, dem 04.12.2022 um 15:16 +0100 schrieb Jürgen Spitzmüller:
> Yes, also "group" does not seem to work properly. I'll have a look.
Both fixed.
--
Jürgen
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
Am Sonntag, dem 04.12.2022 um 14:20 +0100 schrieb Jean-Pierre Chrétien:
> I think there is something fishy with this inset, when the
> 'Alphabetically' sort
> keys are used : the selected entry has nothing in common with the one
> selected,
> if you select a fresh one.
>
> The only correct behav
