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

Improve symbol search #569

Open
MDLC01 opened this issue Mar 4, 2025 · 0 comments
Open

Improve symbol search #569

MDLC01 opened this issue Mar 4, 2025 · 0 comments
Labels
feature request New feature or request.

Comments

@MDLC01
Copy link

MDLC01 commented Mar 4, 2025

Description

After #505 and #521, this is yet another request to improve the search feature of the symbol list documentation pages.

this issue will be more general, with an example of an unexpected result: searching for "arrow circle" in the General Symbols page does not yield ↺ (arrow.ccw) nor ↻ (arrow.cw). On the contrary, "circle arrow" does work. This is likely related to multiple words being searched for as a phrase instead of as separate search terms.

Use Case

Making it easier to find symbols.
@MDLC01 MDLC01 added the feature request New feature or request. label Mar 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature request New feature or request.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@MDLC01