Style workspace selection dialog with default theme setting#3855

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

vogella:style-workspace-launcher-themevogella/eclipse.platform.ui:style-workspace-launcher-themeCopy head branch name to clipboard