set-char-mask & ctrl
- i must correct myself - jed is another small editor
with syntax highlighting and all the rest, but anyway ...
set-char-mask "dp" doesn't change the way CTRL chars
are displayed, as far as i can tell.
set-char-mask "dp" "\CA"
still shows ^A as "^A".