Nothing to complain with gnome-terminal: I've used it for years and I can say that it does its dirty work very well. But lately, too often I need