dev-docs-viewer
dev-docs-viewer copied to clipboard
gruehle
Brackets extension for searching and viewing devdocs.io content
Greetings from the [Brackets.io](https://brackets.io) & [phcode.dev](https://phcode.dev) community. We have [simplified extension development and publish workflows](https://github.com/phcode-dev/phoenix/wiki/How-To-Write-Extensions-And-Themes) for you. ## This Pull Request Please merge in this pull request to be able...
Hello, the installation seems to fail no matter if I use the extension manager or the url install   I'm using 
I was unfortunate enough to attempt to resize the documentation panel by dragging the vertical divider between the search list and the documentation panel. When I released it, the divider...
Really great extension! My only issue is that the font size in the documantation panel is rather large, so I can't see very much documentation without scrolling. It would be...
First of all, excellent extension! After opening with ctr shift L, is there a way to close the popup with a shortcut or escape ? thanks
