Nico Rehwaldt 2e73f5ab85 fix(modeling): update id property in diagram-js, too
This fixes a bug where updating the id property of an element
was not propagated to the diagram. Thus, retrieving the element
based on the new id from diagram-js did not work.

Closes #238
2015-04-13 10:55:17 +02:00
..
2015-03-23 15:15:32 +01:00
2015-03-23 15:15:32 +01:00
2015-02-17 12:04:03 +01:00