Interrupt filtering while typing
tthuem opened this issue · comments
Currently, it takes some time to type something into the filter box. Ideally, all letters would appear immediately and the current filtering is aborted.
Solved with the new Single Export HTML in 88a06ef
Using enter for the filtering is inuitive and a nice solution.