Skip to content

Fixed issue with gutter width initialization#1181

Merged
jquense merged 1 commit intojquense:masterfrom janb87:fix-gutter-width-initJan 16, 2019

Commits