>
> >When I choose a 10 pixels font eg lucidasans-bold-10, the minimum
> >height of the icon manager is 16 pixels. Choosing a smaller height eg
> >12, which should leave 1 pixel as top and bottom margin, has no effect,
> >the height of the manager remains 16 pixels. (I set the manager to grow
> >horizontally, by the way.)
> >
> >So I guess there is some kind of minimum top and bottom margin
> >(this is what I meant by 'padding') built in.
>
> *That* you can control by explicitly setting the *buttongeometry.
> --
Well, it can be set using *buttongeometry, but the setting does not
take effect when it is smaller dan a certain value. Experiments show
that this value is something like the font size plus 6 pixels. See the
example in the quote above. For larger values, it does work.
best regs,
jos
--
Visit the official FVWM web page at <URL: http://www.fvwm.org/>.
To unsubscribe from the list, send "unsubscribe fvwm" in the body of a
message to majordomo_at_fvwm.org.
To report problems, send mail to fvwm-owner_at_fvwm.org.
Received on Tue Jan 04 2000 - 03:46:29 GMT