Convert \b to 0x7f to properly handle backspace in the terminal (#619)

Includes a new system property `org.eclipse.tm.terminal.control.convertBackspace`
to allow us to disable this new behaviour in the field if it turns out that
some terminal/host combination does not like this conversion.

Fixes #392

Author: jonahgraham

terminal/plugins/org.eclipse.tm.terminal.control/src/org/eclipse/tm/internal/terminal/emulator/VT100TerminalControl.java

@@ -184,6 +184,19 @@ public class VT100TerminalControl implements ITerminalControlForText, ITerminalC
 
 	private PollingTextCanvasModel fPollingTextCanvasModel;
 
+	/**
+	 * In some circumstances (e.g PowerShell on Windows) the backspace
+	 * character received from the keypress needs modifying. This
+	 * system property allows disabling this new feature in case there
+	 * are users who are negatively affected by this conversion.
+	 *
+	 * \b is ^H which is interpreted by the console as Ctrl + Backspace
+	 * which deletes a word. \b on its own should just delete a character
+	 * so we send 0x7f to do that.
+	 */
+	private boolean convertBackspace = Boolean
+			.parseBoolean(System.getProperty("org.eclipse.tm.terminal.control.convertBackspace", "true")); //$NON-NLS-1$ //$NON-NLS-2$
+
 	/**
 	 * Instantiate a Terminal widget.
 	 * @param target Callback for notifying the owner of Terminal state changes.
@@ -1175,6 +1188,11 @@ public void keyPressed(KeyEvent event) {
 				}
 			}
 
+			// see javadoc on convertBackspace for details
+			if (convertBackspace && !ctrlKeyPressed && character == '\b') {
+				character = 0x7f;
+			}
+
 			//TODO: At this point, Ctrl+M sends the same as Ctrl+Shift+M .
 			//This is undesired. Fixing this here might make the special Ctrl+Shift+C
 			//handling unnecessary further up.