[Dark Theme]Fix for background color of gutter line in editor#2744

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

mvm-sap:Gutterline_issue_in_dark_thememvm-sap/eclipse.platform.ui:Gutterline_issue_in_dark_themeCopy head branch name to clipboard