On Tue, Jan 04, 2000 at 10:48:33AM +0100, Jos wrote:
> >
> > >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.
I've made a patch ...
Bye
Dominik ^_^
--
Dominik Vogt, dominik.vogt_at_gmx.de
Reply-To: dominik.vogt_at_gmx.de
--
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 Thu Jan 06 2000 - 03:06:17 GMT