Make terminal tab reorder drop handling platform robust#2767

vogella merged 1 commit into

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

vogella:feature/terminal-reorder-drop-coordinatesvogella/eclipse.platform:feature/terminal-reorder-drop-coordinatesCopy head branch name to clipboard