Using a muted selection color instead of gray for unfocused window.

This is for #5747.