2014-06-11 13:08:45 +00:00
|
|
|
module.exports = {
|
|
|
|
__depends__: [
|
2014-07-30 18:50:31 +00:00
|
|
|
require('diagram-js/lib/command'),
|
2014-07-23 16:53:33 +00:00
|
|
|
require('diagram-js/lib/features/change-support'),
|
2017-06-27 07:37:58 +00:00
|
|
|
require('diagram-js/lib/features/resize'),
|
2014-06-11 13:08:45 +00:00
|
|
|
require('diagram-js-direct-editing')
|
|
|
|
],
|
2017-06-27 07:37:58 +00:00
|
|
|
__init__: [
|
|
|
|
'labelEditingProvider',
|
|
|
|
'labelEditingPreview'
|
|
|
|
],
|
|
|
|
labelEditingProvider: [ 'type', require('./LabelEditingProvider') ],
|
|
|
|
labelEditingPreview: [ 'type', require('./LabelEditingPreview') ]
|
|
|
|
};
|