Automatically highlight selected audio regions in the Pool.

+1 Definitely a very useful feature, the number of times I press Ctrl-F to find-in-pool… It should be linked (with a preference setting too).

Mike.