-
Robert Knight authored
When focus filters are in use (eg. user / page filters) it is annoying if clicking a highlight in the document and then clearing the selection has the effect of disabling the focus filters. Instead the plan is to have the selection temporarily replace filters when active.
bbd6408d