A terminal emulator for the GNOME 3 desktop.