EDIT: I correct myself: turning off transparent background does NOT help. Gnome terminal is still horribly slow.
EDIT: I correct myself: turning off transparent background does NOT help. Gnome terminal is still horribly slow.