Filter / Search as default feature

[mathis-m]

Hi all,

I would like to have an advanced search were I can search for routes and more.
As #6648 came up, I shortly implemented some more advanced filter.
Have a look at the preview. I could imagine to add more functionality:

• route search
• wildcard search (glob pattern)
• full context search (names, tags, routes, descriptions, ...)

I think with this the filter could become a useful tool and maybe a default feature. For example it could be integrated into the top navigation bar by default.

Introducing some picker for what to search could become very useful, when viewing large definitions. For example when viewing GitHub Rest API OAS, it would be good if one could search for routes with wildcards.
Large Preview.

[mathis-m]

More Information in #6851