Re: [MiNT] XaAES info line hight

["Helmut Karlowski" <helmut.karlowski@ish.de>]

Am 28.08.2010, 17:11 Uhr, schrieb Peter Persson <pep.fishmoose@gmail.com>:

> AFAIK the font information for the window title bar and the info line  
> (maybe also for menu bars & windowed menus) is hard coded atm in the  
> theme descriptions.

Yeah, but it's still software ;)

> 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.

> Somehow I have the impression that it would be easier to implement, too.

It's already implemented: use standard_point.

--
Helmut Karlowski