search

lukstafi / vocaml

VSCode extension: add/remove OCaml type annotations
https://marketplace.visualstudio.com/items?itemName=lukstafi.vocaml
Other
1 stars 0 forks source link

Integrate searches over Sherlodoc and Sherlocode #6

Open lukstafi opened 3 weeks ago

lukstafi commented 3 weeks ago

That's https://sherlocode.com/ and https://doc.sherlocode.com/ Possible approach: send a selection as a search term, display results in a side pane.

lukstafi commented 3 weeks ago

This extension is very easy to set up: https://github.com/BenRogersWPG/WebSearch Except it leaves VS Code for the searches.

lukstafi commented 3 weeks ago

Make the browser configurable, with https://github.com/antfu/vscode-browse-lite among the options (more powerful than Simple Browser).