[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] New setting: window_inner_border_width
- To: Bastien Dejean <nihilhill _at_ gmail _dot_ com>
- Subject: Re: [PATCH] New setting: window_inner_border_width
- From: Thorsten Wißmann <edu _at_ thorsten _minus_ wissmann _dot_ de>
- Date: Tue, 24 Jul 2012 01:29:03 +0200
Hi Bastien,
On Mon, Jul 23, 2012 at 10:40:00PM +0200, Bastien Dejean wrote:
> The first patch is a generalization of set_window_double_border, the
> other one provides a window_inner_border_width setting.
Actually the double_window_border setting is obsolete if theres a
window_border_inner_width setting (where window_inner_border_width = 0
means, the double border is disabled).
By the way: I like the split into two smaller patches, but didn't really
look into it.
Thorsten
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/