Bug 205585

Summary:	[navigation] Annotation type for occurrences should be defined in Platform
Product:	[Eclipse Project] Platform	Reporter:	Stephan Wahlbrink <sw>
Component:	Text	Assignee:	Platform-Text-Inbox <platform-text-inbox>
Status:	ASSIGNED ---	QA Contact:
Severity:	enhancement
Priority:	P5	CC:	teddy.walker
Version:	3.4
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:
Bug Depends on:
Bug Blocks:	29692, 501471

Description Stephan Wahlbrink

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

2008-02-07 19:23:57 EST

Same for:
 -annotation type "Write Occurrences" 
 -command definition "Toggle Mark Occurrences"
 -command definition "Remove Occurrence Annotations"