multiple GNOME terminals in one window - View it on GitHub