filter event log - case senstive - option

Hi,
I think it would be nice to have ability to choose in settings of Event log
wherethere filter is case sensitive or not.
when u filter for “user” is not showing like with “User”

Small feature that would make life a little easier :slight_smile:


regards
m.

in log filter string you can write any regular expression (as in grep), for
example to achieve what you want you can type:
[Uu]ser