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