[DrJava] [ drjava-Feature Requests-2002071 ] Allow User-Specified Javadoc Links

[SourceForge.net <no...@so...>]

Feature Requests item #2002071, was opened at 2008-06-24 16:45
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=2002071&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: User interface
Group: Medium (< 1 pair-month)
Status: Open
Priority: 5
Private: No
Submitted By: Mathias Ricken (mgricken)
Assigned to: Nobody/Anonymous (nobody)
Summary: Allow User-Specified Javadoc Links

Initial Comment:
Currently, the "Open Java API Javadoc" feature can open the Javadoc pages for Standard API classes provided by Sun.

It would be very convenient if we extended this to an arbitrarily long list of Javadoc webpage locations that are considered for Javadoc entries. This way, DrJava developers could open the Javadoc pages for core DrJava pages and the PLT utilities, for example, instead of having to first navigate to drjava.org and then clicking on links a dozen times.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=2002071&group_id=44253