Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
vscode-devdocs README
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
Commands
| 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 |
General Notes
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.
Extension Settings
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"
}Known Issues
- 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
Release Notes
1.0.0
Initial release