diff options
| author | Tom Szilagyi <[email protected]> | 2015-07-16 13:17:30 +0200 |
|---|---|---|
| committer | Tom Szilagyi <[email protected]> | 2015-07-16 13:24:26 +0200 |
| commit | a3a8d25c8d884fe086d7d8ee3ebdcc732abb0abc (patch) | |
| tree | de9d581592beb6ebcf005d5a29c3ed9bebf1d759 /lib/mnesia/priv | |
| parent | 745563e98f6993e279703dc1ad1e9a2c38dfac28 (diff) | |
| download | otp-a3a8d25c8d884fe086d7d8ee3ebdcc732abb0abc.tar.gz otp-a3a8d25c8d884fe086d7d8ee3ebdcc732abb0abc.tar.bz2 otp-a3a8d25c8d884fe086d7d8ee3ebdcc732abb0abc.zip | |
Erlang shell: Support keys Del, Home and End
Add support for the Delete, Home and End keys in the Erlang shell.
These keys are ubiquitous on modern keyboards. Having them working
as expected adds to the convenience of working in the shell, since
they are much easier to use than the corresponding Ctrl-{D,A,E} keys.
The implementation is in line with the existing framework of the line
editor and is thus a natural (and minimal) extension.
Diffstat (limited to 'lib/mnesia/priv')
0 files changed, 0 insertions, 0 deletions