Re: suggestion: blue default for new face `window-divider'

[martin rudalics <rudalics@gmx.at>]

 >> (I'd also suggest that the default width of window dividers be 2,
 >> not zero, also to make it more noticeable.)
 >
 > Or at least one, so that you get a different cursor when hovering over
 > that area, and recognize that resizing is possible.
 >
 > OTOH, I can understand why the size is 0 when scroll bars are used: It
 > can happen that you click on the scroll bar by mistake.  In my
 > installation it is especially problematic that the mouse cursor change
 > is not correct for me: I get the "dragging" cursor in a stripe wider
 > than the window divider.  That makes it very likely to click the scroll
 > bar by mistake.

We should follow general practice here and make the default at least 4
pixels, probably 6.  That's what I see on Thunderbird, for example.  The
value 0 means only that by default dividers are not drawn.

martin