Richard Heck wrote: > >> http://www.lyx.org/trac/changeset/19331 - Deal with a UI bug > >> > > > > probably not needed (now). > > > > Easy enough to do if you want it. But it's not that critical.
Maybe for later? There will be an 1.5.3 release ;-) Jürgen
