Customize gutter size
Opened this issue · 0 comments
dlewand691 commented
Brilliant plugin! Wondering how to adjust the gutter size without having to dig into the source code. If there's a way to add that as an option would be a fantastic addition! Thanks!