On Fri, Mar 03, 2023 at 02:04:52PM +0100, Jürgen Spitzmüller wrote: > Am Freitag, dem 03.03.2023 um 13:57 +0100 schrieb Pavel Sanda: > > I do not have that strong opinion about any of the above, just > > checking whether anyone tried to make consistent selection or we just > > follow the historic (and arbitrary) distinctions > > More or less. Just the UI changed, not so much the traditional > categorization.
Would you mind if I go through those two selections and suggest movements between them? Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
