Nico Rehwaldt 058cfbb579 chore(label-editing): use isAny helper

2017-12-13 13:30:51 +01:00

..

cmd

feat(label-editing): improve text annotation editing

2017-07-25 15:05:35 +02:00

index.js

feat(label-editing): improve text annotation editing

2017-07-25 15:05:35 +02:00

LabelEditingPreview.js

feat(label-editing): improve text annotation editing

2017-07-25 15:05:35 +02:00

LabelEditingProvider.js

chore(label-editing): use isAny helper

2017-12-13 13:30:51 +01:00

LabelUtil.js

fix(modeling): mark elements as changed during label update

2016-03-03 17:27:57 +01:00