[patch] tiny cosmetics

2007-07-11 Thread Jürgen Spitzmüller
this is really just to make the paragraph dialog look a little bit more compact, i.e. I reduced the ugly whitespace on the bottom, no other change. OK to commit? Jürgen Index: src/frontends/qt4/ui/ParagraphUi.ui === ---

Re: [patch] tiny cosmetics

2007-07-11 Thread José Matos
On Wednesday 11 July 2007 07:31:39 Jürgen Spitzmüller wrote: this is really just to make the paragraph dialog look a little bit more compact, i.e. I reduced the ugly whitespace on the bottom, no other change. OK to commit? OK. Jürgen -- José Abílio

[patch] tiny cosmetics

2007-07-11 Thread Jürgen Spitzmüller
this is really just to make the paragraph dialog look a little bit more compact, i.e. I reduced the ugly whitespace on the bottom, no other change. OK to commit? Jürgen Index: src/frontends/qt4/ui/ParagraphUi.ui === ---

Re: [patch] tiny cosmetics

2007-07-11 Thread José Matos
On Wednesday 11 July 2007 07:31:39 Jürgen Spitzmüller wrote: > this is really just to make the paragraph dialog look a little bit more > compact, i.e. I reduced the ugly whitespace on the bottom, no other change. > > OK to commit? OK. > Jürgen -- José Abílio