Community
Participate
Working Groups
Jim des Rivieres 06/04/2001 02:08 PM To: Kevin Haaland/OTT/OTI@OTI cc: Susan Griffin/OTT/OTI@OTI Subject: org.eclipse.ui extension points with no doc Kevin, 1) The "org.eclipse.ui.markerImageProviders" and "org.eclipse.ui.resourceFilters" extension point are missing their doc files. Please add doc for them. Susan: please add topics. Thanks, jeem NOTES: ARCH (6/12/01 3:40:51 PM) Fix. - But ensure that you get it into a build & then verify that it works in an actual build. NE (06/13/01 4:51:26 PM) Changes verified by KH. Released in >123. Need to verify in build 124. DS (6/15/01 11:16:41 AM) In build 124 the html files exist within the org.eclipse.ui plugin doc directory, but do not appear in .. Help | Platform Plugin Developers Guide | Extension Points Reference | Eclipse UI
Closing based on latest comments