On Tue, Apr 1, 2014 at 9:44 AM, Gary van der Merwe <garyvdm at gmail.com>wrote: > Please delete gnome-terminal-dark. There is now a preference to do this. > Done, please include a link next time. -- Maxime