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

[CON-232] Bring custom docs to the top of the dropdown #1195

Closed
2 tasks done
sestinj opened this issue Apr 26, 2024 · 0 comments
Closed
2 tasks done

[CON-232] Bring custom docs to the top of the dropdown #1195

sestinj opened this issue Apr 26, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@sestinj
Copy link
Contributor

sestinj commented Apr 26, 2024 •
edited

Validations

  • I believe this is a way to improve. I'll try to join the Continue Discord for questions
  • I'm not able to find an open issue that requests the same enhancement

Problem

In the @ docs context provider, only a few suggestions are shown in the dropdown, and ideally these would be ones that have been added manually

Solution

No response

CON-232
@sestinj sestinj added the enhancement New feature or request label Apr 26, 2024
@sestinj sestinj changed the title Bring custom docs to the top of the dropdown [CON-232] Bring custom docs to the top of the dropdown Apr 26, 2024
@justinmilner1 justinmilner1 mentioned this issue May 6, 2024
Merged
@sestinj sestinj closed this as completed May 6, 2024
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
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@sestinj