> * The JDE->Help->JDK command now works when jde-jdk-doc-url
> is a URL, i.e., begins with http: or file:.
>
Paul, that is helpful but it would be great if it worked with
jde-help-symbol. I know this is a little differnt since help-symbol
potentially has multiple docsets. See I only use this feature with the
core jdk docs, so I only have one docset, which is loaded on an internal
web server, that I don't have mounted so I can't scan the file system.
I suppose there are a couple of options, when specifying a docset you
could list the toplelvel package names for each. Then if the docset is
a URL just assume the doc is there, and let the browser complain if its
missing.
Brad
