It's a pretty standard and well known shortcut, I think.
The idea whenever an option gets presented its deemed to clutter and over complicate the idea of a text editor to the user
so one cant be in the camp of "the user is too stupid" and then turn around offering keyboard shortcuts, modding hidden text files, and be exposed to broken behavior
either the user is too durn stupid or not, I bet not and a settings menu with some checkboxes is not going to break your flow nor kill the IDE as we know it leaving the arduino community in ruin
and honestly if little wiggley lines bug you so much, well it must be nice thats all you have to be bothered by