If the cursor is positioned inside a <pre> element some browsers closes the tag and opens a new one when ENTER is pressed. Safari does so while FireFox doesn't.
We now added a key handler for ENTER and insert a <br> when inside a <pre> block.