Community
Participate
Working Groups
The "Quick Search" preference page can be moved under "Preferences > General > ..." instead of adding it as a separate item in the preferences.
Let's target it for current RC
New Gerrit change created: https://git.eclipse.org/r/148158
+1 from project lead for rc1
(In reply to Eclipse Genie from comment #2) > New Gerrit change created: https://git.eclipse.org/r/148158 +1, looks good for RC1.
Gerrit change https://git.eclipse.org/r/148158 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=13712284cc6f426dd64c84c27589755a96979663
(In reply to Eclipse Genie from comment #5) > Gerrit change https://git.eclipse.org/r/148158 was merged to [master]. > Commit: > http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/ > ?id=13712284cc6f426dd64c84c27589755a96979663 FYI, master is not yet open for RC1. Most likely we don't need a re-build but it is good to hold on the patch till the build is promoted.
(In reply to Sarika Sinha from comment #6) > FYI, master is not yet open for RC1. Most likely we don't need a re-build > but it is good to hold on the patch till the build is promoted. Sorry about thay, I over-interpreted the mail about sign-off...