28 aug 2010 kl. 18.24 skrev Helmut Karlowski: >> Maybe it could be a good idea to be able to supply a font ID and a font point size, instead of having a "standard" vs "small" info line mode. > > You mean also setting the font-id to, say, roman? I won't do that. Ok forget it then. -- PeP