Subject: Notification: incoming/1061

From: [email-masked]
Date: Thu, 17 Jul 2003 15:00:58 -0500

FVWM Bug Tracking notification

new message incoming/1061

Message summary for PR#1061
	From: [email-masked]
	Subject: Different sizes for the borders
	Date: Thu, 17 Jul 2003 15:00:57 -0500
	0 replies 	0 followups

====> ORIGINAL MESSAGE FOLLOWS <====

>From [email-masked] Thu Jul 17 15:00:58 2003
Date: Thu, 17 Jul 2003 15:00:57 -0500
From: [email-masked]
To: [email-masked]
Subject: Different sizes for the borders

Full_Name: Giulio
Version: 2.4.14
CVS_Date: 
OS: 
X_Server: 
Submission from: (NULL) (212.171.41.220)

Hi,

Wouldn't it be a good idea to allow different sizes for the four borders?
(left,right,top,bottom). If one wants to merge the borders with the
titlebar (eg. same color and --flat option), and uses a large border (6 or
more pixels) now he gets a bad-looking titlebar: the text is not verticaly
centered (because there  are also the extra-pixels of the border on top of
titlebar), and the titlebar itself is too big.

Just an idea :-)

Giulio

--
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-masked].
To report problems, send mail to [email-masked]