2018-04-02 19:01:53 +00:00
|
|
|
import PopupMenuModule from 'diagram-js/lib/features/popup-menu';
|
|
|
|
import ReplaceModule from '../replace';
|
|
|
|
|
|
|
|
import ReplaceMenuProvider from './ReplaceMenuProvider';
|
|
|
|
|
|
|
|
|
|
|
|
export default {
|
2016-03-11 15:18:10 +00:00
|
|
|
__depends__: [
|
2018-04-02 19:01:53 +00:00
|
|
|
PopupMenuModule,
|
|
|
|
ReplaceModule
|
2016-03-11 15:18:10 +00:00
|
|
|
],
|
2015-12-10 11:48:40 +00:00
|
|
|
__init__: [ 'replaceMenuProvider' ],
|
2018-04-02 19:01:53 +00:00
|
|
|
replaceMenuProvider: [ 'type', ReplaceMenuProvider ]
|
2015-12-10 11:48:40 +00:00
|
|
|
};
|