Community
Participate
Working Groups
Remove org.eclipse.jdt.internal.ui.preferences.FilterTextControl class and directly use the native search field in org.eclipse.jdt.internal.ui.preferences.OptionsConfigurationBlock.FilteredPreferenceTree once Bug 293230 is fixed.
*** Bug 548798 has been marked as a duplicate of this bug. ***
I have a pending patch but Gerrit gives me an error message. Contacted webmaster.
New Gerrit change created: https://git.eclipse.org/r/145413
Gerrit change https://git.eclipse.org/r/145413 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=a08ed706a9ce8b4bb9b84511ec3db55c62dbebba
Verified for 4.13 M3 using I20190821-0600 build.
New Gerrit change created: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/167058
This resulted in a regression: bug 565698.
(In reply to Eclipse Genie from comment #6) > New Gerrit change created: > https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/167058 Reverting the patch to fix bug 565698.
Gerrit change https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/167058 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=764167734b18f2226cf761d90e4af9c2b8473d09