Find/Replace overlay: encapsulate handling of search option changes#4183

HeikoKlare merged 1 commit into

eclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

HeikoKlare:findreplace-overlay-searchoptionactionHeikoKlare/eclipse.platform.ui:findreplace-overlay-searchoptionactionCopy head branch name to clipboard