Scope default theme preference by product or application#3878

vogella merged 2 commits intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

vogella:product-scoped-theme-preferencevogella/eclipse.platform.ui:product-scoped-theme-preferenceCopy head branch name to clipboard