mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-11 23:22:41 +09:00
This is necessary because some terminals send Backspace and Ctrl-h as the same key, so Ctrl-h must be reserved for deleting. See #8.
This is necessary because some terminals send Backspace and Ctrl-h as the same key, so Ctrl-h must be reserved for deleting. See #8.