But I mean the “Abort” command.
When “Incremental” is OFF, “Abort” does NOT empty the filter string.
This is nice. Thus I can switch the view with “Abort” and “Refresh” command conveniently. No need to pick up the string from the history again and again.
The CHM description says: Aborts filtering and empties the filter string.
But I think “Abort” should NOT empty the string in any case. It’s not necessary.