On Fri, Sep 25, 2009 at 12:13:06PM +0200, Jean-Marc Lasgouttes wrote: > Enrico Forestieri <for...@lyx.org> writes: > > I am going to commit a patch. > > It is perfect now. Thanks, Enrico!
Curiously enough, with Qt 4.2 it now works even better than with Qt 4.5, as the dialog is able to shrink more before it starts overlapping with the View Source dialog. -- Enrico