On Tue, Aug 08, 2006 at 03:09:01AM +0200, Uwe Stöhr wrote: > Sanda Pavel wrote: [...] > > ---- > > #: src/frontends/qt3/QDelimiterDialog.C:106 > > msgid "Variable size" > > > > the meaning is "the size of a variable" > > or "the size varies" ? > > No it means a so called rubber length, in this case the \vfill I think.
No, this refers to the size of delimiters. Here "Variable size" means that the delimiters size varies to adapt to the size of what is being delimited. -- Enrico
