Skip to content

Change the number line margin width dynamically

Jorge Camarero Vera requested to merge line-number-width into master

Merge request reports