GUI tool for gnome-terminal