On Mon, Jan 12, 2015 at 1:04 PM, Wookey <wookey@wookware.org> wrote:

Feedback on whether it fixes the problem would be appreciated.

I made a test, the patch fixes the colors issue.

Thanks,

Marco