Yes, and no. The filter box is great, but I think most user's expectation in today's Web world is that filter boxes are not case sensitive.
It would be nice if there was an option to make the filtering case insensitive.
Describe the solution you'd like
Add another option called something like "filterCase" that supports one of two values:
case-sensitive* (default since it's the current behavior)
Content & configuration
Swagger-UI configuration options:
Is your feature request related to a problem?
Yes, and no. The filter box is great, but I think most user's expectation in today's Web world is that filter boxes are not case sensitive. It would be nice if there was an option to make the filtering case insensitive.
Describe the solution you'd like
Add another option called something like "filterCase" that supports one of two values:
Describe alternatives you've considered
none.
Additional context