Dynamic filtering of the plugin directory list on plugin types

[alfredbuehler]

In the plugin directory list, make the count section clickable, to filter on the appropriate plugin type.

See also discussion https://github.com/aljawaid/PluginManager/discussions/52

[alfredbuehler]

Implemented by:

• b5ad6bb4b0f9d5647ba8e35da3a99198f9e106b1
• 29113cc2947aa8e449c4268f5c20fc33aa775155
• 63a068bdad9454c3d4ac18eb4bf3025194550a02
• 83576990bf4d5692022b6686ebca5276b6600dd6

Summary

• Clicking on any “type counter section” enables a filter, it reduces the list to plugins of the appropriate type.
• The selected filter is shown with a greyed background.
• The 2nd click on an already active filter inverts the filter, shows all plugins excluding the appropriate type.
• The 3rd click resets the filter, shows the complete list.

It is worth mentioning that the search box doesn't work with that filtering. e.g. selecting “actions” and searching for Calendar, the Calendar is found anyway.

[aljawaid]

This is excellent, thanks for this