Add UI to select if a terminal session should be allocated#1955

laeubi merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform:masterfrom

laeubi:support_selection_of_terminallaeubi/eclipse.platform:support_selection_of_terminalCopy head branch name to clipboard