Bug 15341 - Support for alternative source locations
Summary: Support for alternative source locations
Status: RESOLVED FIXED
Alias: None
Product: PDE
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 2.0   Edit
Hardware: All All
: P1 enhancement (vote)
Target Milestone: 2.0 M6   Edit
Assignee: Dejan Glozic CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on: 15381
Blocks:
  Show dependency tree
 
Reported: 2002-05-06 13:19 EDT by Dejan Glozic CLA
Modified: 2002-05-07 15:49 EDT (History)
0 users

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 Dejan Glozic CLA 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 CLA 2002-05-07 15:49:16 EDT 
Implemented.