On Mon, Mar 30, 2020 at 07:11:01PM +0200, Jürgen Spitzmüller wrote: > I think that's all overkill. If we push my patch, Daniel can customize > his preferred behavior and we others can all keep ours.
I tend to agree with this. Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
