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.

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

search: clarify that the case of the name is as requested or all lower #77

Merged
merged 1 commit into from
Nov 7, 2024

Conversation

dcbaker
Copy link
Collaborator

@dcbaker dcbaker commented Sep 25, 2024

This means that if the requester (whether that is directly from a user or from another CPS file) specifies the name in a case that is not all lower, search for that exactly as well as the all lower.

For example, if "OpenGL" is requested, then the name should be searched as "OpenGL" and as "opengl".

I struggled a little bit with what to call the "requester", which I still don't like but can't come up with anything better.

Copy link
Member

@mwoehlke mwoehlke left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

See nit. Thanks for the PR!

searching.rst Outdated Show resolved Hide resolved
This means that if the requester (whether that is directly from a user
or from another CPS file) specifies the name in a case that is not all
lower, search for that exactly as well as the all lower.

For example, if "OpenGL" is requested, then the name should be searched
as "OpenGL" and as "opengl".
@mwoehlke
Copy link
Member

mwoehlke commented Nov 7, 2024

Sigh, I give up waiting on a second approval. Merging.

@mwoehlke mwoehlke merged commit 62fae38 into cps-org:master Nov 7, 2024
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants