PreferenceDialog: render filter as native search field#3925

vogella merged 1 commit into

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

vogella:fix/preference-search-style-bitsvogella/eclipse.platform.ui:fix/preference-search-style-bitsCopy head branch name to clipboard