Find/replace: add toggle functionality for search options to logic#4180

HeikoKlare merged 1 commit into

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

HeikoKlare:findreplace-toggle-search-optionHeikoKlare/eclipse.platform.ui:findreplace-toggle-search-optionCopy head branch name to clipboard