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'),
|
2014-06-11 13:08:45 +00:00
|
|
|
require('diagram-js-direct-editing')
|
|
|
|
],
|
|
|
|
__init__: [ 'labelEditingProvider' ],
|
|
|
|
labelEditingProvider: [ 'type', require('./LabelEditingProvider') ]
|
|
|
|
};
|