Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Advanced Search for Docs #11

Open
dsanders11 opened this issue Nov 8, 2020 · 1 comment
Open

Advanced Search for Docs #11

dsanders11 opened this issue Nov 8, 2020 · 1 comment
Labels
enhancement ✨ New feature or request

Comments

@dsanders11
Copy link
Owner

Add search for just the documentation quick an inline command button and a QuickPick for search input. Open the search results in a Webview, or just as results in the QuickPick if that can show enough text and be functional enough.
@dsanders11 dsanders11 added the enhancement ✨ New feature or request label Nov 8, 2020
@dsanders11
Copy link
Owner Author

Quick search landed in b61985f but is a little stunted by a bug in VS Code's markdown preview not jumping to the header. The quick search only provides linkables as results.

Changing this issue to track an "advanced search" which would search the actual content of the docs and display them in a Webview. So mostly the work here would be for the Webview UI.

@dsanders11 dsanders11 changed the title Search for Docs Advanced Search for Docs Nov 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement ✨ New feature or request
Projects
vscode-electron-build-tools Backlog
Status: Todo 🗒
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dsanders11