search

jetty / jetty.project

Eclipse Jetty® - Web Container & Clients - supports HTTP/2, HTTP/1.1, HTTP/1.0, websocket, servlets, and more
https://eclipse.dev/jetty
Other
3.86k stars 1.91k forks source link

Documentation search bar is not relative to the version of Jetty #12233

Open lachlan-roberts opened 2 months ago

lachlan-roberts commented 2 months ago

If you browse the Jetty 10 documentation, and search for anything in the search bar, all the results are for Jetty 12 not Jetty 10.

We should only search the documentation for the version of Jetty that you are viewing. Or at least prioritize the current version in the results.

mojavelinux commented 3 weeks ago

This is a feature that the Antora Lunr extension is working to incorporate. See https://gitlab.com/antora/antora-lunr-extension/-/issues/51