Better button styling in workspace selection dialog#3918

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

vogella:testing-unstyle-buttons-workspace-dialogvogella/eclipse.platform.ui:testing-unstyle-buttons-workspace-dialogCopy head branch name to clipboard