1 This tests copying and pasting text does not remove non-editing style in the destination.
2 To manually test, copy "hello world" below and paste it in the box below. The blue border should stay after the paste.
6 | style="border: solid 5px blue;padding: 5px;"
11 | style="border: solid 5px blue;padding: 5px;"
13 | style="font-weight: normal; "
14 | "hello<#selection-caret>"