Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-help-dev] Feature Request Javadoc url location as a jar / zip

Mark,

I am cross-posting this to the JDT mailing list to get their input first.

-Dorian



|---------+----------------------------------->
|         |           "Mark Ayad"             |
|         |           <mark@xxxxxxxxxxxx>     |
|         |           Sent by:                |
|         |           platform-help-dev-admin@|
|         |           eclipse.org             |
|         |                                   |
|         |                                   |
|         |           10/30/2002 06:05 AM     |
|         |           Please respond to       |
|         |           platform-help-dev       |
|         |                                   |
|---------+----------------------------------->
  >-------------------------------------------------------------------------------------------------------------|
  |                                                                                                             |
  |       To:       <platform-help-dev@xxxxxxxxxxx>                                                             |
  |       cc:                                                                                                   |
  |       Subject:  Re: [platform-help-dev] Feature Request Javadoc url location as a jar / zip                 |
  |                                                                                                             |
  |                                                                                                             |
  >-------------------------------------------------------------------------------------------------------------|



Tried it

jar:file:E:/javadocs/jdk/doc.zip!/

and jar:file:E:/javadocs/jdk/doc.zip!/index.html

Didn't work.

Im looking for this functionality for all Jar Libraries

Thoughts ?

Mark

----- Original Message -----
From: "Mark Ayad" <mark@xxxxxxxxxxxx>
To: <platform-help-dev@xxxxxxxxxxx>
Sent: Wednesday, October 30, 2002 11:44 AM
Subject: Re: [platform-help-dev] Feature Request Javadoc url location as a
jar / zip


> would a url like
>
> jar:file:E:/javadocs/jdk/doc.zip!/
>
> the Java tooling support for javadoc location work ?
>
> Mark
>
> ----- Original Message -----
> From: <birsan@xxxxxxxxxx>
> To: <platform-help-dev@xxxxxxxxxxx>
> Sent: Tuesday, October 29, 2002 9:37 PM
> Subject: Re: [platform-help-dev] Feature Request Javadoc url location as
a
> jar / zip
>
>
> > Mark, can you be a bit more specific?
> > Currently you can package any documentation as doc.zip files inside
> plugins
> > and the help system automatically extracts them when needed.
> > Are you refering to the Java tooling support for javadoc location ?
> >
> > -Dorian
> >
> >
> >
> > |---------+----------------------------------->
> > |         |           "Mark Ayad"             |
> > |         |           <mark@xxxxxxxxxxxx>     |
> > |         |           Sent by:                |
> > |         |           platform-help-dev-admin@|
> > |         |           eclipse.org             |
> > |         |                                   |
> > |         |                                   |
> > |         |           10/29/2002 12:25 PM     |
> > |         |           Please respond to       |
> > |         |           platform-help-dev       |
> > |         |                                   |
> > |---------+----------------------------------->
> >
>
>
---------------------------------------------------------------------------
> ----------------------------------|
> >   |
> |
> >   |       To:       "Platform-Help-Dev@xxxxxxxxxxx"
> <platform-help-dev@xxxxxxxxxxx>                             |
> >   |       cc:
> |
> >   |       Subject:  [platform-help-dev] Feature Request Javadoc url
> location as a jar / zip                     |
> >   |
> |
> >   |
> |
> >
>
>
---------------------------------------------------------------------------
> ----------------------------------|
> >
> >
> >
> > I think this should be a feature:-
> >
> > It would be a good idea If you could specify the Javadoc Location for a
> jar
> > resource as a url to a .jar or .zip Since some API documentation is
very
> > large and when
> > compressed takes up a fraction of the space.
> >
> > Looking at the (current) soucre code for the info-center this would
cause
> > no major
> > problem.
> >
> > Mark
> >
> >
> > _______________________________________________
> > platform-help-dev mailing list
> > platform-help-dev@xxxxxxxxxxx
> > http://dev.eclipse.org/mailman/listinfo/platform-help-dev
> >
>
> _______________________________________________
> platform-help-dev mailing list
> platform-help-dev@xxxxxxxxxxx
> http://dev.eclipse.org/mailman/listinfo/platform-help-dev
>

_______________________________________________
platform-help-dev mailing list
platform-help-dev@xxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/platform-help-dev





Back to the top