Is there a wildcard character I can use for filtering in History? '*' and '%' don't work.
Also, a suggestion. It would be nice if I could do regex filtering.
Thanks for a great plugin!
Is there a wildcard character I can use for filtering in History? '*' and '%' don't work.
Also, a suggestion. It would be nice if I could do regex filtering.
Thanks for a great plugin!
It is not yet possible, but that would be a great addition indeed :)
You must log in to post.