(global-set-key [f3] 'delete-char) from a vt100 terminal emulator???



This works for the system console, yet, fails to work from a
remote login using vt100 emulation.


.