Jesus Michał von Gentoo 🏔 (he) on Nostr: There are two main ways to replace part of a string in a text editor, with a longer ...

There are two main ways to replace part of a string in a text editor, with a longer string.

Either you use the overwrite mode to overwrite the overlapping part, then switch to insert mode to append the extra characters, or you delete the overlapping part, then insert the new string using insert mode entirely.

Or you can be chaotic, use overwrite mode to replace part of it, prematurely switch to insert mode, delete the remaining extraneous characters and insert whatever is left.