v4
Closed Jul 22, 2020
100% complete
Theme of this milestone is better global shortcut handling
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.