Menu search

[supersaiyansubtlety]

aka 'Fun with data structures'

Adds a "Search menus" menu under the "Help" menu.

Tasks

• make all current menus searchable (except Help and contents)
• implement search aliases (search "debug" to find the Dev menu)
• make all (most ?) current menu items searchable
• contains string search
• display search alias next to result
• make clicking on a search result effectively click the corresponding element
• hot keys
• make selecting a search result also select the corresponding element (if swing allows it)
  swing does not allow it; instead, hold shift to select the searched item

Yes, the abstraction behind tries is a 'bit' overkill.
Yes, the generics in CompositeStringMultiTrie* got a little out of hand.
Yes, it was fun to write.

[supersaiyansubtlety]

ready!

[supersaiyansubtlety]

I've noticed an issue where menus that require scrolling don't update properly when scrolling.
It occurred even when I completely disabled the SearchMenusMenu and tested on a dummy menu full of 100 plain JMenuItems.

I have occasionally seen the scrolling work, so I'll see if I can fix it consistently.
If not, I'll re-introduce truncation, this time with custom scrolling.

Converting to draft for now.

[supersaiyansubtlety]

I've noticed an issue where menus that require scrolling don't update properly when scrolling.

Fixed/worked around; re-de-drafting.

I just hid the glass pane that notifications are shown in when it's empty.

Menu scrolling is still broken when using flatlafs, the window is full-screen-height, and notifications are showing.
See JFormDesigner/FlatLaf#1071