Closed zojeda closed 7 years ago
This PR just adds a single command to toggle editor decorations and a status bar item displaying the coverage of the active text editor
Looks good, thank you for the contribution! :heart:
This PR just adds a single command to toggle editor decorations and a status bar item displaying the coverage of the active text editor