search

w3c / w3c-website

W3C Website feedback and bug reports
https://www.w3.org/
240 stars 80 forks source link

/TR search should recognize shortnames #458

Closed fantasai closed 1 year ago

fantasai commented 1 year ago

https://www.w3.org/TR/?filter-tr-name=css-grid doesn't return any results; it might be useful to do substring matching on the shortname.

deniak commented 1 year ago

@fantasai thanks for the feedback. We've updated the search to include the shortnames.