Allow reuse of last opened editor via Project Explorer#3458

sebthom wants to merge 5 commits intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

sebthom:reuse-last-opened-editorsebthom/eclipse.platform.ui:reuse-last-opened-editorCopy head branch name to clipboard