WARNING: Due to restriction imposed by vscode.previewHtml, all preferences and offline data for DevDocs will be lost after VSCode restart. It is not recommended to use this extension any more.
Search documentation on devdocs.io inside VSCode
| Name | Description | Keybindings |
|---|---|---|
| devdocs.quickSearch | Search DevDocs with the word under cursor or selected words | alt+shift+d |
| devdocs.search | Search DevDocs with keywords | |
| devdocs.home | Open DevDocs home | |
| devdocs.settings | Open DevDocs settings page | |
| devdocs.offline | Open DevDocs offline data page |
This is a simple wrapper around devdocs.io. All documentations are provided and hosted by devdocs.io. The extension has no control over DevDocs. For best user experience, you should configure it manually:
Rundevdocs.settings. You can choose enabled documents, use dark theme and/or hide sidebar as neededRundevdocs.offlineto cache documentations locally
For further information, please refer to DevDocs Help.
This extension contributes the following setting:
"devdocs.column": {
"type": "number",
"default": 2,
"description": "A number which indicates which column (1, 2, or 3) to display DevDocs in"
}- Document list in
devdocs.settingspage might be buggy (lose scroll position on first click) - All preferences and offline data for DevDocs will be lost after VSCode restart due to recent changes to vscode #4
Initial release