diff options
Diffstat (limited to 'resources-en/src/tips/ExternalJavaDoc.html')
| -rw-r--r-- | resources-en/src/tips/ExternalJavaDoc.html | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/resources-en/src/tips/ExternalJavaDoc.html b/resources-en/src/tips/ExternalJavaDoc.html new file mode 100644 index 000000000000..e6c9d1c2a3d6 --- /dev/null +++ b/resources-en/src/tips/ExternalJavaDoc.html @@ -0,0 +1,17 @@ +<html> +<head> + <link rel="stylesheet" type="text/css" href="css/tips.css"> +</head> +<body> + + + <p>To open your browser with documentation for the element at the editor's caret, + press <span class="shortcut">&shortcut:ExternalJavaDoc;</span> + (<span class="control">View | External Documentation</span>).</p> + <p>You must have the path to your browser set in the <span class="control">General</span> options + (<span class="control">File | Settings</span>) + and paths to documentation files added to your project + (<span class="control">File | Settings | Project Structure</span>) to use this feature.</p> + +</body> +</html> |