Add bot filter search to sidebar

[mateodurante]

This pull request adds a new filtering feature to the bot side menu in the intelmq_manager interface, making it easier for users to quickly find specific bots. The changes introduce a filter input with search and clear buttons, and implement logic to dynamically show or hide bot groups and bots based on the filter text.

Bot filtering UI and logic:

• Added a filter input box above the side menu with a search button (magnifying glass) and a clear button (X), improving usability for finding bots.
• Implemented dynamic filtering logic: as the user types in the filter box, bot groups and individual bots are shown or hidden based on whether their names match the filter text. The clear button resets the filter and focuses the input.

[Copilot]

Pull request overview

This PR adds a filtering feature to the bot side menu in the intelmq_manager interface, allowing users to quickly search for specific bots by name. The implementation includes a filter input box with search and clear buttons, and dynamic show/hide logic for bot groups and individual bots based on the filter text.

Changes:

• Added a filter input container with search and clear buttons above the side menu
• Implemented real-time filtering logic that shows/hides bots and groups based on user input
• Added automatic expansion of bot groups when filtering to display matching bots

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[einar-lanfranco]

Yes Yes Yes, we need this! Great idea @mateodurante

[sebix]

Thank you, that will be a great improvement! I will have a look at it on the weekend or next week.