Fix width used for line numbers#1151
Merged
gokcehan merged 1 commit intogokcehan:masterfrom Mar 12, 2023
joelim-work:fix-number-width
Merged
Fix width used for line numbers#1151gokcehan merged 1 commit intogokcehan:masterfrom joelim-work:fix-number-width
gokcehan merged 1 commit intogokcehan:masterfrom
joelim-work:fix-number-width