/src/main/java/org/htmlunit/html/DoTypeProcessor.java
if ( selectionStart > 0) {   newValue.deleteCharAt( ( selectionStart - 1) ) ;   selectionStart--; }
[Delete]
newValue.deleteCharAt(selectionStart - 1); selectionStart--; } break; case DOM_VK_LEFT: if (element.isCtrlPressed()) { <extra_id_0> selectionStart--; } } else if (selectionStart > 0) { selectionStart--; }