[w3c/editing] Change default paragraph separator from <p> to <div> (#146)

This matches Edge, Blink, WebKit, and possibly soon Gecko
(https://bugzilla.mozilla.org/show_bug.cgi?id=1297414).  At the time the
spec was written, there was no clear-cut behavior, so I went with <p>
because it's more correct semantically, but now we should spec the
behavior that implementations have converged on.

See also w3c/web-platform-tests#3536.
You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/editing/pull/146

-- Commit Summary --

  * Change default paragraph separator from <p> to <div>

-- File Changes --

    M execCommand.html (6)

-- Patch Links --

https://github.com/w3c/editing/pull/146.patch
https://github.com/w3c/editing/pull/146.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/editing/pull/146