Re: [patch] bug 3772: widget ordering in Prefs->Copiers

On Tuesday 29 May 2007 18:00:06 Jürgen Spitzmüller wrote: > OK as well? Yes. > Jürgen -- José Abílio

Re: [patch] bug 3772: widget ordering in Prefs->Copiers

José Matos wrote: > OK. Done. I've also sone some layout fixes for the Converters pane (just better alignment of the widgets). OK as well? Jürgen Index: src/frontends/qt4/ui/PrefConvertersUi.ui === --- src/frontends/qt4/ui/PrefConv

Re: [patch] bug 3772: widget ordering in Prefs->Copiers

On Tuesday 29 May 2007 16:18:58 Edwin Leuven wrote: > > > > OK to commit? > > yep OK. -- José Abílio

Re: [patch] bug 3772: widget ordering in Prefs->Copiers

Jürgen Spitzmüller wrote: http://bugzilla.lyx.org/show_bug.cgi?id=3772 Obvious and straightforward. OK to commit? yep