[errai-users] New monitor feature: search and filter!

In trying to trace a problem today, I realized that our monitor was missing an important feature: the ability to search and filter for messages. Anyways, you can now that that. It uses a very simple input method. You just start typing your RegEx and a little popup box appears. Hhit enter, and... Voila! The filtering remains active, so as new messages come in, they're applied against the active filter. You can terminate the filtering at any time by pressing ESC. Mike.