| Summary: | [code mining] Update preferences text to indicate references include implementations | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Noopur Gupta <noopur_gupta> |
| Component: | UI | Assignee: | Noopur Gupta <noopur_gupta> |
| Status: | VERIFIED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | azerr, daniel_megert, sarika.sinha |
| Version: | 4.10 | Flags: | sarika.sinha:
review+
|
| Target Milestone: | 4.10 RC2 | ||
| Hardware: | All | ||
| OS: | All | ||
| See Also: |
https://bugs.eclipse.org/bugs/show_bug.cgi?id=541395 https://git.eclipse.org/r/133383 https://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=7f8eedd485207fa7c633e5550cf9178d17586438 https://git.eclipse.org/r/133385 https://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=81828bcc0c34d7122fb1ba9d51b09c2a119dc4cd https://git.eclipse.org/r/133386 https://git.eclipse.org/c/www.eclipse.org/eclipse/news.git/commit/?id=927b048ec6e0a030a3fe03b8392a2a8ec15b86b2 |
||
| Whiteboard: | |||
| Bug Depends on: | 529127 | ||
| Bug Blocks: | |||
|
Description
Noopur Gupta
New Gerrit change created: https://git.eclipse.org/r/133383 Gerrit change https://git.eclipse.org/r/133383 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=7f8eedd485207fa7c633e5550cf9178d17586438 Looks good for RC2. New Gerrit change created: https://git.eclipse.org/r/133385 Gerrit change https://git.eclipse.org/r/133385 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.common.git/commit/?id=81828bcc0c34d7122fb1ba9d51b09c2a119dc4cd New Gerrit change created: https://git.eclipse.org/r/133386 Gerrit change https://git.eclipse.org/r/133386 was merged to [master]. Commit: http://git.eclipse.org/c/www.eclipse.org/eclipse/news.git/commit/?id=927b048ec6e0a030a3fe03b8392a2a8ec15b86b2 F1 help doc and N&N entry have been updated. Verified as fixed in I20181204-0600. |