Community
Participate
Working Groups
Created attachment 198917 [details] Patch providing a prebuilt doc index +++ This bug was initially created as a clone of Bug #350848 +++ When searching Eclipse Help for the first time, a search index has to be built. The speed of doing so can be drastically improved when the doc plugin ships a prebuilt help index. JSDT help should include such an index, such that users can search docs faster. Attached patch adds the pre-built index to the docs when building them. Please consider for inclusion.
Ping, this is planned for 3.3.1 but not yet integrated ? Could my patch be considered?
Sorry, Martin, it slipped past my notice.
Ping, could my patch be considered please ? Indigo SR 2 is approaching fast ...
Ping, 3.3.2 is almost there ... could this be integrated please ?
*Explain why you believe this is a stop-ship defect. Or, if it is a "hotbug" (requested by an adopter) please document it as such. Fix supplied by an adopter, but not reviewed before RC0 cutoff. *Give a brief technical overview. Who has reviewed this fix? Updates the build properties to include the "index" folder generated with the doc plug-in. *What is the risk associated with this fix? Very low, it's not a code change.
Approved. BTW, it is not explicitly noted who has tested this patch. Although it looks pretty safe, please make sure that a committer has tested it before submitting in CVS.
Released