On 15 Nov 2002 12:12:41 +0100, Dominik Vogt wrote: > > > Log message: > > * New MinHeight option to TitleStyle > > What exactly is the difference to TitleHeight? I thought that it > works exactly like what I expect from MinHeight.
Try it, Height dictates the title height. I suppose MinHeight does not dictate. TitleStyle Height 10 Regards, Mikhael. -- 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]
