Comment 7 for bug 1573755

A new user isn't affected by this problem, how would one reset the gnome-terminal configuration without wiping the whole profile? :)