v1.2
Closed Aug 6, 2018
100% complete
For enhanced like user customization of hotkey command, small search history, and displaying top five results for easy perusal.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.