Re: FVWM: FvwmIconMan Wish..

From: Michael Han <mikehan_at_best.com>
Date: Mon, 03 Jan 2000 22:49:04 -0800

Previously from "Riswick, J.G.A.v."
>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.

-- 
mikehan_at_best.com                         http://www.best.com/~mikehan/
coffee achiever                              San Francisco, California
"I had lately learned that another way of writing FALL IN LOVE is WALK THE 
PLANK." - Jeanette Winterson
--
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 - 00:52:37 GMT