On Fri, May 31, 2019 at 2:50 AM Jürgen Spitzmüller <sp...@lyx.org> wrote:
> Am Freitag, den 31.05.2019, 10:16 +0200 schrieb Jürgen Spitzmüller: > > Yes, it's a bug in the GUI. > > Fixed in master. But please file a report nonetheless (assigned to me), > so we can fix it for 2.3.4 as well. > Awesome! Thank you for the *quick* work! - Joel