benchpress icon indicating copy to clipboard operation
benchpress copied to clipboard

Published 20 hours ago • verified publisher icon sneeuwballen

ui: auto completion in filtering of individual results

Open c-cube opened this issue 4 years ago • 0 comments

https://component.kitchen/elix/AutoCompleteComboBox could be nice. Completion should be doable for provers and results (but not problem, too many of them).

c-cube avatar May 18 '20 14:05 c-cube