editor diff fixes

* use editor.operation to prevent the editor from rendering new markers until after all of the markers have been added
* clear current_diff_markers after the markers themselves have been .clear()'d
* don't render inserted text with bold because it messes up indentation