-
The new-tab/new-window items cover a common case, but don't allow to switch between profiles or start a terminal with a particular one. Support both use cases by making appropriate actions available in a primary menu section and a drop-down next to the new-tab button if more than one profile has been set up. https://bugzilla.gnome.org/show_bug.cgi?id=756798
6bc48d93