[eitau_1]

I should have put it clearer: every time the content of a textarea is modified by JS, the undo-redo history is cleared