On Saturday 28 Aug 2010 13:33:12 Helmut Karlowski wrote:
Am 28.08.2010, 13:03 Uhr, schrieb m0n0 <ole@monochrom.net>:
> Am Samstag, den 28.08.2010, 11:58 +0200 schrieb Peter Slegg
>
> <p.slegg@scubadivers.co.uk>:
>> What is this Info line ?
>
> The Information line right after the Title/Window Mover box. Not every
> app uses the feature. Some apps also put windom-drop-down menu there.
Now what do you want?
Hook it to standard_point? I recommend to try value of 9 to see what
happens.
I guess best is something like 'infoline_point' (global). Else I leave
it
as is.
I agree with the idea of a specific setting. I've just tried current
trunk and
I'm used to the half-height. The infoline looks too high now. The
problem with
hooking the size to "standard_point" is that by setting that value to 9
you
modify *all* standard font output (title bars, etc.).