return;
}
if (event.originalEvent.inputType != "insertParagraph") return true;
+ if (sel.anchorNode.tagName == "DIV" && sel.anchorNode.innerHTML == "<br>") {
+ // new empty div got inserted, replace it with a <p>
+ var empty_p = document.createElement('P');
+ empty_p.appendChild(document.createElement('BR'));
+ var empty_div = sel.anchorNode;
+ empty_div.replaceWith(empty_p);
+ var range = document.createRange();
+ range.setStart(empty_p, 0);
+ sel.removeAllRanges();
+ sel.addRange(range);
+ }
var prev_p = sel.anchorNode.previousSibling;
if (! prev_p) return;
if (prev_p.tagName != 'P') {