| Summary: | [code mining] "preference option missing" in error log | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Noopur Gupta <noopur_gupta> |
| Component: | UI | Assignee: | Dani Megert <daniel_megert> |
| Status: | VERIFIED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | daniel_megert, mistria |
| Version: | 4.11 | ||
| Target Milestone: | 4.12 M1 | ||
| Hardware: | PC | ||
| OS: | Windows 7 | ||
| Whiteboard: | |||
| Bug Depends on: | 529011 | ||
| Bug Blocks: | |||
|
Description
Noopur Gupta
Fixed with https://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=f14ed757d58a610e6a9702ed7849da22563f6258 NOTE: I left the default state as 'false' like in the previous builds. If you want to change this to 'true' file a new bug for M3. Verified with eclipse-SDK-I20190411-0625-win32-x86_64. |