DELETE in line editing does not work

[IvoLimmen]

When using the console (or edit) line interpreter the DELETE button does not work. Other line editing options work (Home and end).
So:
I tried to execute:
"help graphics"
I get an error stating that graphics is not a know variable
I press up and edit the line
I insert the " before and after the graphics text.
I still get an error because I typed " help "graaphics" "
I press up and home and press DELETE after moving the cursor to the first 'a'.

Workaround:
Go the the next letter and press BACKSPACE.

Environment:
Linux (Ubuntu 23.04)

[jmmv]

Thanks for the report. I'm classifying this as "enhancement" simply because support for the delete key hasn't been implemented. The keyboard handlers are quite rudimentary right now. It should be easy to add though so I'll take a look.