RFR: 7192: Event browser should be able to search and show event type ids

[Marcus Hirt]

On Mon, 30 Oct 2023 13:25:58 GMT, Alex Macdonald <aptmac at openjdk.org> wrote:

> This PR addresses JMC-7192 [[0]](https://bugs.openjdk.org/browse/JMC-7192), in which it'd be nice to be able to search by event type ids in the event browser.
> 
> At the moment, the filter is acting on the strings of each label in the event browser tree, which contains the name of the event and the number of entries it has. This PR updates `matches()` to include a check to see if it's of type `EventTypeNode`, and if so, include the event identifier as well.
> 
> JMC-7192 also mentions that there should be a column for type id (hidden by default), which now happens as well.  
> 
> Before:
> ![before](https://github.com/openjdk/jmc/assets/10425301/c5816504-3a22-4337-bc26-e4b46543bcc4)
> 
> After:
> ![after](https://github.com/openjdk/jmc/assets/10425301/3d1d1b59-4906-4029-a511-f40a32f1c9a6)
> 
> [0] https://bugs.openjdk.org/browse/JMC-7192

Marked as reviewed by hirt (Lead).

-------------

PR Review: https://git.openjdk.org/jmc/pull/527#pullrequestreview-1737952547