Feature request: Searching in platforms

[unbelievableflavour]

Currently you have a popup showing all the platforms with checkboxes to enable or disable them in Daijishou. The current implementation of this popup has no way of searching through all the 51 platforms.

It would be great to have some sort of searchbar in this popup to make it easier to find your favorite platforms.

I also have issues using the current implementation of choosing players. The implementation above could also be adjusted to work perfectly there. Before:

After:

[TapiocaFox]

Good idea!

[unbelievableflavour]

Just noticed players can be defined under platforms in the github repo. Is there a reason why you are showing "all" the players instead of players specifically for that platform? Because this search feature would not be necessary for players if it would only show players for a specific platform.

If the reason is that some players are available for more platforms, that would just mean that they have to be added to those other platforms as well.

[Voo2]

that would be a nice feature