18 Sep
2007
18 Sep
'07
4:19 p.m.
On Tue, Sep 18, 2007 at 09:05:12PM +0200, Andrea Rossato wrote:
On Tue, Sep 18, 2007 at 12:37:11PM -0400, Gwern Branwen wrote:
+ , borderPixel :: Dimension -- ^ Border width
the title of this message is definitely correct. But I'm not sure about the new field name: as far as my English goes, not that far actually, Pixel, in the Xlib library, refers to colors and depth, not to dimensions (think about blackPixel). While I think that with need a better name, can you confirm me that this is the right one?
nBorderPixels, borderPixels Kai