Bug 15341

Summary:	Support for alternative source locations
Product:	[Eclipse Project] PDE	Reporter:	Dejan Glozic <dejan>
Component:	UI	Assignee:	Dejan Glozic <dejan>
Status:	RESOLVED FIXED	QA Contact:
Severity:	enhancement
Priority:	P1
Version:	2.0
Target Milestone:	2.0 M6
Hardware:	All
OS:	All
Whiteboard:
Bug Depends on:	15381
Bug Blocks:

Description Dejan Glozic

2002-05-06 13:19:16 EDT

Eclipse 2.0 needs to have source in alternative locations (not alongside the 
plug-ins). PDE needs to support this alternative locations (using a preference 
page) and also add a fixed location at ECLIPSE_HOME/src. When looking for 
source, the following algorithm will be used:

1) All the locations specified in the preference page, starting with 
ECLIPSE_HOME/src
2) As a sibling of the JAR file (as today)

Alternative locations can be modified. The default location (ECLIPSE_HOME/src) 
cannot be removed or altered.

Comment 1 Dejan Glozic

2002-05-07 15:49:16 EDT

Implemented.