13.1.2 Regression in Tomcat logs view filter?

Anybody else seeing problems with the container logs view in 13.1.2? Seems the filter on the right is no longer filtering as-you-type.

It was always a bit flaky as it refreshes with every keypress but it seems its working even less well in 13.1.2 and now you need to toggle the left-hand server, logs tabs back & forth before the filtering widget has any effect. The as-you-type filter seems broken?