Closed tthuem closed 8 years ago
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.
Currently, it takes some time to type something into the filter box. Ideally, all letters would appear immediately and the current filtering is aborted.