I just committed a few changes that improve the way “Open Java API Javadoc” works. In the “Preferences” dialog, you can set the Javadoc version to use to “use compiler version”. When this option is selected, DrJava will open the Javadoc page of the same version as the compiler currently selected in the “Compiler Output” tab on the bottom right of the screen.
If JDK 5.0\_13 is used as compiler, putting the cursor on
File and selecting “Open Java API Javadoc for Word Under Cursor” will open
<a href="http://java.sun.com/j2se/1.5.0/docs/api/java/io/File.html">http://java.sun.com/j2se/1.5.0/docs/api/java/io/File.html</a>. But if JDK 1.4.2 is the compiler that DrJava uses, it will open
It’s these small details that help a lot and avoid confusion. Thank you, Dr. Wong, for this suggestion.