+ // Disambiguate ^H from Backspace.
+ if (KeyEvent.getKeyText(key.getKeyCode()).equals("H")) {
+ // This is ^H.
+ keypress = kbBackspace;
+ } else {
+ // We are emulating Xterm here, where the backspace key
+ // on the keyboard returns ^?.
+ keypress = kbBackspaceDel;
+ }