A terminal emulator for GNOME
