At 06:35 AM 8/17/00 -0400, Brad Giaccio wrote:
>> * 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.
>
I'll do this.
Paul
