On 05 Feb 2015, at 10:32, Marcus Denker <marcus.denker@inria.fr> wrote:

Hi,

40 475 now integrates the fixes for making GT work nicer with the Dark Theme.

Thanks to all the contributors!

Marcus