dev-docs-viewer icon indicating copy to clipboard operation
dev-docs-viewer copied to clipboard

Brackets extension for searching and viewing devdocs.io content

Results 6 dev-docs-viewer issues
Sort by recently updated
recently updated
newest added

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 ![image](https://user-images.githubusercontent.com/14167503/84976067-a5b67980-b12f-11ea-90ad-86f5203db1eb.png) ![image](https://user-images.githubusercontent.com/14167503/84976098-b535c280-b12f-11ea-9c76-543733c93f6e.png) I'm using ![image](https://user-images.githubusercontent.com/14167503/84976145-d1396400-b12f-11ea-8137-2c6f484a5ca1.png)

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

enhancement