sharkdp opened this issue 9 years ago · 0 comments
Add an indicator to the drop-down list, to quickly see which levels have been solved.