Giters
akfish
/
vscode-devdocs
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
11
Watchers:
4
Issues:
5
Forks:
4
akfish/vscode-devdocs Issues
All preferences and offline data for DevDocs are lost after VSCode restart
Updated
6 years ago
Comments count
9
Add devtools to this repo as a topic
Closed
7 years ago
Comments count
1
Allow opening DevDocs without splitting the editor
Closed
7 years ago
Comments count
2
Keyboard Shortcut interference
Closed
7 years ago
Comments count
1
Search in correct documentation
Closed
7 years ago
Comments count
1