PreferencePageParameterValues_pageLabelSeparator add trailing space#2393

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

merks:pr-missing-ThemingEnabled_merks/eclipse.platform.ui:pr-missing-ThemingEnabled_Copy head branch name to clipboard