rebol/r3 — pull request #48 by spytheman (2012-12-20 03:38:33+00:00)
Title: Fix readline handling of Ctrl-D, Home and End keys on Linux

Ctrl-D now does the same as Delete.
The both now delete the character below the cursor.
When the cursor is at EOL, they do nothing, as is common in most readline based environments.

The separate Home and End keys, as well as the ones on the Numpad, now also work.