Back to bug 125720
Who | When | What | Removed | Added |
---|---|---|---|---|
eclipse | 2006-01-31 13:09:46 EST | Assignee | Platform-UI-Inbox | jdt-ui-inbox |
Component | UI | UI | ||
Product | Platform | JDT | ||
daniel_megert | 2006-02-01 03:37:12 EST | Assignee | jdt-ui-inbox | platform-text-inbox |
Component | UI | Text | ||
Product | JDT | Platform | ||
daniel_megert | 2006-02-01 03:37:52 EST | Status | NEW | RESOLVED |
Resolution | --- | DUPLICATE | ||
Summary | Mark Occurrences (Toggle Mark Occurrences) should be available in the editor framework | [navigation] Mark Occurrences (Toggle Mark Occurrences) should be available in the editor framework |
Back to bug 125720