editor: keep document properties on document instance, inform about changes via events

[fnpeditor.git] / src / editor / modules / diffViewer / diff.html

<div class="rng-module-diffViewer-diffView"></div>