Really strange/annoying "text replacement" feature?

Help
1

Godot Version

4.2

Question

Okay, so after only like 10 minutes of trying to figure out GDScript i noticed that for some reason that you cant add spaces in-between two characters, and that trying to type over a character replaces it? It feels like a bug but its so consistent that it must be a feature…
(this is for the local script editor)

2

You might have accidentally entered “replace” mode, the “Ins” key, normally found to the right of backspace, will toggle between “Insert” (the usual mode) and “Replace” (the horrible evil mode)