Closed hackerb9 closed 1 year ago
Yes, that is because renumbering really does not work when basic-line-number-cols is 0. Historically, line numbers were turned off when the variable was 0. Now, when that is not the case, there seems to be a problem with basic-format-line-number (at least).
Done
When basic-line-numbers-cols is 0, basic-renumber refuses to run, saying