allow deleting last char
auto merge of #4247 : wenderen/servo/delete-one-char, r=jdm

fix #4243