Is your feature request related to a problem? Please describe.
When viewing the Events log it can quickly become overcrowded with events and it is hard to find the ones you are interested in unless you completely disable those events from even getting printed in the events log.
Describe the solution you'd like
I would like to be able to filter events printed in the events log based on its "label" and "severity". Since severity is an enum a drop box is probably the best UI element for that. Labels is just a string so that would most likely need a free text field. If there are pre-defined labels these might be possible to auto-complete. Or that field would work as a free-text filter, like the file lists and hub user lists.
I hope that my core idea came through.
Describe alternatives you've considered
I mostly end up using the browsers "find" feature, but this doesn't help much if the log is constantly updated with events that I don't want to see at the moment. The only other alternative is to temporary disable events from within Settings but that has a lot of downsides.
Is your feature request related to a problem? Please describe. When viewing the Events log it can quickly become overcrowded with events and it is hard to find the ones you are interested in unless you completely disable those events from even getting printed in the events log.
Describe the solution you'd like I would like to be able to filter events printed in the events log based on its "label" and "severity". Since severity is an enum a drop box is probably the best UI element for that. Labels is just a string so that would most likely need a free text field. If there are pre-defined labels these might be possible to auto-complete. Or that field would work as a free-text filter, like the file lists and hub user lists.
I hope that my core idea came through.
Describe alternatives you've considered I mostly end up using the browsers "find" feature, but this doesn't help much if the log is constantly updated with events that I don't want to see at the moment. The only other alternative is to temporary disable events from within Settings but that has a lot of downsides.