Feature: Add a filter option for the protocol #137
Description
The match protocol can be quite long and it may be desirable to search for a specific entry, e.g. by protocol type, game event, command, etc.
Such filters could be added to the protocol view (not the side bar).