Type some text in HTMLEditor, for example "fffffffffffffff" and try to remove some last characters using backspace. As for me, it removes 1-2-3 characters and stops making any effect.