Allow reordering terminal tabs via drag and drop#2681

vogella wants to merge 2 commits into

eclipse-platform:mastereclipse-platform/eclipse.platform:masterfrom

vogella:feature/terminal-tab-reorder-2679vogella/eclipse.platform:feature/terminal-tab-reorder-2679Copy head branch name to clipboard