Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
As part of jenkinsci/jenkins#7569, Jenkins replaces the existing search input in the header for a Command Palette.
With this change the existing implementation of this plugin no longer works. jenkinsci/jenkins#7569 however introduces support for plugins adding their own buttons to the navigation bar. This has briefly been discussed as a workaround so that this plugin can still continue to work.
This draft MR introduces a new button to the navigation bar, currently called 'Lucene' which allows users to navigate to the existing Lucene search page. On that page a new search input has been introduced, allowing users to search with Lucene as they previously could.
Testing done
See #69 (comment)
Submitter checklist