Add a filter for things

[Érico Porto]

It would be nice to have something like a search bar to filter things from the lists or something

Need to figure a good way to design this.

In JetBrains Toolbox, the search is outside of the tab but affects only the inside of the tab, and alternating the tab erases the search, so it's kinda cryptic, and also not search behavior - it's a filter.

If it's a generic bar, perhaps in a future there could be some commands there - perhaps similar to the command line ones.

• The only readily free space is in the status bar, but I plan to use that for status messages and notifying a task is running in the background in the future.
• The equivalent of services that the JetBrains Toolbox has is probably going to be some sort of utils - say, building a macOS release when the binary of those are distributed in ags github releases.
• This kinda leaves us with the top of the lists, but this means having different bar per list, so they sure can be used for filters, and we can alternate tabs without losing the previous results, but the command functionality looks out of place in this case.
• the other problem is if the filter autocompletes, the autocomplete shows up on top of the results in all places I can think of, so I think it won't have any sort of autocompletion to not obstruct things