Michael Gerz wrote:
Not urgent (but not rejected) ----------------------------- http://www.lyx.org/trac/changeset/19331 - Deal with a UI bug
Jurgen suggested that this should wait.
http://www.lyx.org/trac/changeset/19721 - Fix bug 3427
I'd certainly vote for this one.
http://www.lyx.org/trac/changeset/19914 - single depth for preference items, fixes bug #4153
Fairly minor, but not unwelcome, I'd say. Richard
