117130 – Check for duplicate id

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 117130 - Check for duplicate id

Summary: Check for duplicate id

Status:	RESOLVED DUPLICATE of bug 181515

Alias:	None

Product:	PDE
Classification:	Eclipse Project
Component:	UI (show other bugs)
Version:	3.1.1
Hardware:	PC Linux

Importance:	P3 normal (vote)
Target Milestone:	---
Assignee:	PDE-UI-Inbox
QA Contact:

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2005-11-18 14:19 EST by jt
Modified:	2007-04-09 02:42 EDT (History)
CC List:	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 jt

2005-11-18 14:19:23 EST

PDE should check whether extension element's ids are unique. 

For example - I've made two editors with the same id by mistake. When I've tested my 
plugin, then second editor handled files which should be handled by first editor. It 
was quite confusing and I spend lots of time looking for cause.

So I think that duplicate ids should be reported as compiler error.

Comment 1 Wassim Melhem

2007-04-09 02:42:19 EDT

will be covered as part of bug 181515

*** This bug has been marked as a duplicate of bug 181515 ***