On Fri, Dec 05, 2003 at 12:54:58PM +0200, Martin Vermeer spake thusly: > Patch attached. As I haven't heard any real objections (just blue-sky > ideas building on it) I'll commit later today.
Committed. I fixed one more bug: now the labelfont definition is actually used for the label (blue default font for all styles; twice reduced). Also the underline (now having two little end hooks) takes the label's colour. - Martin
pgp00000.pgp
Description: PGP signature