Reset in colors preference page now respects theme-specific defaults#2421

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

tobiasmelcher:colors_and_fonts_preference_pagetobiasmelcher/eclipse.platform.ui:colors_and_fonts_preference_pageCopy head branch name to clipboard