Is gnome-terminal really the best terminal emulator out there for Linux? Frustrated with it, but haven't found anything better...