Community
Participate
Working Groups
Build Identifier: I20100608-0911 File: eclipse\plugins\org.eclipse.platform.doc.user\reference\help_preferences_content.htm Sentence: If the same page exists both locally and on the remote information center the remote page will be shown. Question: This is the description of the "Include remote help and give local help priority" button. But I guess it describes the "Include remote help and give it priority" button and the description of the "Include remote help and give it priority" button describes the "Include remote help and give local help priority" button. Reproducible: Always
Chris can you help with this question?
There is indeed an error in the document where the description of the preferences got inverted. I will fix up the document for Eclipse 3.6.1.
Created attachment 173024 [details] Patch
Patch applied to both HEAD and the 3.6 maintenance stream. I have created an R3_6_maintenance branch for org.eclipse.platform.doc.user and increased the bundle version to 3.6.1.
Verified in M20110210-1200.