Hi, This may as well be coming in 2.0, but ... is it possible to highlight all search term occurrences?
Best, -Jose Jose Quesada, PhD. Max Planck Institute, Center for Adaptive Behavior and Cognition, Berlin http://www.josequesada.name/ http://twitter.com/Quesada
