Bug 205585 - [navigation] Annotation type for occurrences should be defined in Platform
Summary: [navigation] Annotation type for occurrences should be defined in Platform
Status: ASSIGNED
Alias: None
Product: Platform
Classification: Eclipse Project
Component: Text (show other bugs)
Version: 3.4   Edit
Hardware: All All
: P5 enhancement with 1 vote (vote)
Target Milestone: ---   Edit
Assignee: Platform-Text-Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 29692 501471
  Show dependency tree
 
Reported: 2007-10-05 11:41 EDT by Stephan Wahlbrink CLA
Modified: 2016-09-19 09:05 EDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Stephan Wahlbrink CLA 2007-10-05 11:41:27 EDT 
The editor annotation type for "Occurrences" should be provided by Platform/IDE instead of JDT. So tools for other languages can use the type and don't have to duplicate the item. The definition contains no Java specific parts.

Currently it is defnined in jdt.ui (plugin.xml) as "org.eclipse.jdt.ui.occurrences".
Comment 1 Teddy Walker CLA 2008-02-07 19:23:57 EST 
Same for:
 -annotation type "Write Occurrences" 
 -command definition "Toggle Mark Occurrences"
 -command definition "Remove Occurrence Annotations"