| Summary: | [code mining] Add link to Text Editors preference page | ||
|---|---|---|---|
| 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: | daniel_megert, noopur_gupta |
| Version: | 4.14 | Flags: | daniel_megert:
review+
|
| Target Milestone: | 4.14 RC2 | ||
| Hardware: | All | ||
| OS: | All | ||
| See Also: |
https://git.eclipse.org/r/153708 https://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=713a6f1594dffb97a63a9a0af723c3b342168fbe |
||
| Whiteboard: | |||
| Bug Depends on: | 547665, 552999 | ||
| Bug Blocks: | |||
|
Description
Noopur Gupta
New Gerrit change created: https://git.eclipse.org/r/153708 Gerrit change https://git.eclipse.org/r/153708 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=713a6f1594dffb97a63a9a0af723c3b342168fbe Thanks, Dani. Verified with eclipse-SDK-I20191203-1800-win32-x86_64. |