Re: window caption buttons

[Filip Navara]

William Poetra Yoga Hadisoesen wrote:
> There are two mistakes:
> - The borders aren't correct. For an active unpushed button, there should only
>
> be one "top-left edge". For a pushed button, there should be only one
> "bottom-right edge" (and inner/outer "top-left edge"s)

Actually there should really be two top-left edges, but one just happens 
to be the same color as the interior.

- Filip