An error occurred while fetching folder content.
Benno Schulenberg
authored
For cuts, pastes, and inserts, the lines have already been renumbered; for indents, comments, and replacements, the line numbers cannot have changed. (And anyway, variable 'f' is not set for those cases.) Only when lines get split (ENTER) or fused together (JOIN) do the later lines need to be renumbered. This mirrors what is done for do_redo().
Name | Last commit | Last update |
---|---|---|
.. |