Community
Participate
Working Groups
Build ID: 3.5 When a documentation plugin exists locally and can also be found on a remote help server, we need to decide what action to take. Should we take the most up to date help information, or allow the user to specify an option?
Interesting question. This affects not only the table of contents but also search, index and content. It seems to me that usually the most recent version of a document will be the most useful but only if it does not contain description of features which have been added in later versions of the product which the user does not have. I don't particularly like the idea of adding a preference as a way out of the problem because then we are just punting the problem back to the user, who is also unlikely to know which choice to make.
Created attachment 153380 [details] Patch for org.eclipse.help.base
Created attachment 153381 [details] Patch for org.eclipse.help
Created attachment 153382 [details] Patch for org.eclipse.help.ui
Created attachment 153383 [details] Patch for org.eclipse.ua.tests
The patches included include fixes for: - UI for determining whether to use local/remote as prioity - TocManager changes for handling duplicate TocContributions - JUnit tests for all scenarios
Created attachment 153388 [details] Patch for remote ordering
Patch applied with the few minor changes listed below: Fixed copyrights in: AbstractTocProvider.java RemoteTocProvider.java HelpContentPreferencePage.java RemoteICViewer.java in Messages.properties delete the unused resource HelpContentPreferencePage_remote=&Include help content from a remote infocenter