On Mon, Dec 22, 2003 at 03:58:52PM +0100, Michael Schmitt spake thusly:

> Enclosed please find a slightly modified patch again the current HEAD 
> that "improves" the button label for boxes (the text "parbox" or 
> "minipage" alone is a bit misleading UI-wise, especially as you may 
> think that minipages are still alive).

Good idea.

- Martin

Attachment: pgp00000.pgp
Description: PGP signature

Reply via email to