toggle off some of the resulting highlighted lines
& and perform a filter action
result: the lines that were toggled off are now highlighted again.
I think mixing the manual highlights with the auto-pattern-based-highlights is leading to confusion, both for the user and for the implementation. imho the usefulness of the highlights is in the ability to manually control it, so that effect should have priority.
The + already lets one force-reveal lines that were hidden by some earlier filtering, which makes the ~ somewhat redundant.
hope I'm making sense.
Steps:
~
and search-highlight some items&
and perform a filter action result: the lines that were toggled off are now highlighted again.I think mixing the manual highlights with the auto-pattern-based-highlights is leading to confusion, both for the user and for the implementation. imho the usefulness of the highlights is in the ability to manually control it, so that effect should have priority. The
+
already lets one force-reveal lines that were hidden by some earlier filtering, which makes the~
somewhat redundant. hope I'm making sense.