Bugs item #767416, was opened at 2003-07-07 16:28
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=767416&group_id=44253
Category: Javadoc integration
Group: Ugly
Status: Open
Resolution: None
Priority: 5
Submitted By: Hal Perkins (hperkins)
Assigned to: Nobody/Anonymous (nobody)
Summary: JavaDoc generation somewhat clumsy
Initial Comment:
Finally got some time to try out the 7/1 beta. This is
great stuff (mostly).
The JavaDoc integration is a great addition, but it is a
bit clumsy to use. There are two things in particular
that I hope can be tweaked easily enough:
1) DrJava should have a sensible default for where to
put the generated JavaDoc. Right now, it pops up a
dialog to select a directory, with a default directory that
seems to be an almost random choice - meaning the
generated docs could wind up "lost".
Best would be to just go ahead and create a "doc"
directory in the top-level folder containing the DrJava
project that's currently open. There might be some
reason to allow the user to change this as a per-project
option, but beginners wanting to view their JavaDoc
should be able to generate it and have something
reasonable happen without having to navigate or
configure anything. (BTW, "doc" is the directory BlueJ
uses. Doing the same might minimize some confusion if
people switch between the two environments.)
2) I generated JavaDoc for a tiny class and the viewer
that popped up had a couple of frames with the
following message in the large frame to the right: "the
front page has been relocated. Please see: frames
version | non-frames version". The "frames version"
button is a complete mistake, since it produces a frame
within the frame. In any case, this shouldn't happen.
Configuration: WinXP Pro, Java 1.4.2, DrJava 20030701-
0203.
Thanks
Hal
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=767416&group_id=44253
|
