Summary: | BigDecimal | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Peter Kidson <peterkidson-eclipzilla> |
Component: | Core | Assignee: | JDT-Core-Inbox <jdt-core-inbox> |
Status: | RESOLVED INVALID | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | ||
Version: | 3.1 | ||
Target Milestone: | 3.2 M5 | ||
Hardware: | PC | ||
OS: | Windows 2000 | ||
Whiteboard: |
Description
Peter Kidson
2006-01-09 02:59:06 EST
Probably belongs in JDT Could you please provide a test case? (In reply to comment #2) > Could you please provide a test case? Apologies - it does actually work. (My double-clicking in the margin must have been out of alignment or something). Reopen to set correct resolution As this was an user error, correct resolution is INVALID. FIXED is used only when the bug is reproduceable and code changed to fix the problem. By the way, resolution is usually set by developer, so this is something you do not really need to care about... Thanks |