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
pgp00000.pgp
Description: PGP signature