2018-04-02 21:01:53 +02:00
|
|
|
import ChangeSupportModule from 'diagram-js/lib/features/change-support';
|
|
|
|
import ResizeModule from 'diagram-js/lib/features/resize';
|
|
|
|
import DirectEditingModule from 'diagram-js-direct-editing';
|
|
|
|
|
|
|
|
import LabelEditingProvider from './LabelEditingProvider';
|
|
|
|
import LabelEditingPreview from './LabelEditingPreview';
|
|
|
|
|
|
|
|
|
|
|
|
export default {
|
2014-06-11 15:08:45 +02:00
|
|
|
__depends__: [
|
2018-04-02 21:01:53 +02:00
|
|
|
ChangeSupportModule,
|
|
|
|
ResizeModule,
|
|
|
|
DirectEditingModule
|
2014-06-11 15:08:45 +02:00
|
|
|
],
|
2017-06-27 09:37:58 +02:00
|
|
|
__init__: [
|
|
|
|
'labelEditingProvider',
|
|
|
|
'labelEditingPreview'
|
|
|
|
],
|
2018-04-02 21:01:53 +02:00
|
|
|
labelEditingProvider: [ 'type', LabelEditingProvider ],
|
|
|
|
labelEditingPreview: [ 'type', LabelEditingPreview ]
|
2017-06-27 09:37:58 +02:00
|
|
|
};
|