Community
Participate
Working Groups
The user documentation plugin has been created as part of https://bugs.eclipse.org/bugs/show_bug.cgi?id=183803 The doc plugin is available as part of the download but there is no way for me (as an end user) to access it from the editor. I opened the IF editor and pressed F1; I get the generic help on Eclipse editors which tells me that no help context was found for this specific editor type. I tried to search the help using SML as a keyword and this is when I found the documentation but this is not what an end user would do. The help content needs to be attached to the editor itself
update to a valid target
This is in between code and documentation and if we have a doc team I would assume that this will be taken care of by that team. It involves adding context id helps into an xml file, defining the navigation for the documentation files, again in an xml content and possibly refactoring the help content to match this navigation. Once this is made available, adding the hooks to the code is a one line change for every content help.
Rich, you'll have to let me know when you are ready to add the anchors to the online help files, and I will modify the code to match those anchors.
Added new help plugin as described in design doc. Changed editor/import/export views to open help for those views when F1 is pressed. Updated SML features to include new help plugin. Removed previous SML doc plugin, as it represents and older version of the documentation, obsoleted by the SML chapter in the user's guide. Updated codescan and map files in build to remove doc plugin and add help plugin. Saurabh, please review my changes. I wasn't sure what to put in the map file for the help plugin's build version for example.
closing fixed bug
