More updates to the user guide:
* Bug 302827 - [assist] completion should offer to materialize phantom roles
* Bug 318071 - "Go to Language Definition" should be available along more paths
See also Bug 316703 - [help] update user guide for 0.7.0
diff --git a/plugins/org.eclipse.objectteams.otdt.ui.help/guide/compilation.html b/plugins/org.eclipse.objectteams.otdt.ui.help/guide/compilation.html
index 87bc131..f2c0eee 100644
--- a/plugins/org.eclipse.objectteams.otdt.ui.help/guide/compilation.html
+++ b/plugins/org.eclipse.objectteams.otdt.ui.help/guide/compilation.html
@@ -36,12 +36,21 @@
Also note that many of these diagnostics can be fixed using a <a href="quickfix.html">quick fix</a>.
<h3>Consulting the language definition on problems</h3>
- <p>When viewing OT/J-specific error/warning messages in the Problems view, the context menu
+ <p>When viewing OT/J-specific error/warning messages in the <b>Problems</b> view, the context menu
offers a <img src="../icons/ot_paragraph.gif"> <span class="ui">Go To Language Definition</span> link,
taking you directly to the paragraph
that defines the rule which is being violated by the compiled source code. For presenting the
language definition the internal HTML-browser is used to allow easy navigation within the
language definition.</p>
- <img title="Language Definition Integrated in the OTDT" src="images/screenshots/langdef.png"/>
+ <img style="margin-left:10px;" title="Language Definition Integrated in the OTDT" src="images/screenshots/langdef.png"/>
+ </p>
+ <p>
+ Alternatively, the same action <span class="ui">Go to Language Definition</span> can be invoked
+ without using the <b>Problems</b> view:
+ <p><u>Using the context menu on the problem marker in the editor's left gutter:</u></p>
+ <img style="margin-left:10px;" title="Language Definition from the left gutter" src="images/screenshots/GoToLangDefGutter.png"/>
+ <p><u>Using a button in the problem hover in the editor:</u></p>
+ <img style="margin-left:10px;" title="Language Definition from the left gutter" src="images/screenshots/GoToLangDefHover.png"/>
+ </p>
</body>
</html>