Direct editing support for diagram-js