Allow searching for multiple terms#1853

Open

wormingdead wants to merge 9 commits intoOpenarl:devfrom

wormingdead:multiple-search

Commits on Jan 27, 2020

Commits on Jan 30, 2020

Prevent overlapping circles from hiding those beneath
wormingdead
committed
Increase highlight circle size based on number of matching search terms
wormingdead
committed