I'd like to propose a name change of the style "IconSize" to "IconPictureSize" or "IconBackgroundSize". Since the size of the icon is really (IMHO) the total size of the picture+padding+relief+title. Also if (when) there will be an extra configurable border the name might be misleading. Since this style is new in 2.5.x I guess it would be possible to rename it if considered a good idea.
//Marcus -- Visit the official FVWM web page at <URL:http://www.fvwm.org/>. To unsubscribe from the list, send "unsubscribe fvwm-workers" in the body of a message to [EMAIL PROTECTED] To report problems, send mail to [EMAIL PROTECTED]
