| Summary: | Move "Quick Search" preference page under "Preferences > General" | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Noopur Gupta <noopur_gupta> |
| Component: | UI | Assignee: | Platform-UI-Inbox <Platform-UI-Inbox> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | enhancement | ||
| Priority: | P3 | CC: | kdevolder, Lars.Vogel, mistria, sarika.sinha |
| Version: | 4.13 | ||
| Target Milestone: | 4.13 RC1 | ||
| Hardware: | All | ||
| OS: | All | ||
| See Also: |
https://git.eclipse.org/r/148158 https://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=13712284cc6f426dd64c84c27589755a96979663 |
||
| Whiteboard: | |||
| Bug Depends on: | |||
| Bug Blocks: | 548518 | ||
|
Description
Noopur Gupta
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... |