(paper, elements)
| 572 | } |
| 573 | |
| 574 | function addTools(paper, elements) { |
| 575 | const toolName = 'expand-tools'; |
| 576 | elements.forEach(function(element) { |
| 577 | if (element.get('type') !== 'fta.IntermediateEvent') return; |
| 578 | const view = element.findView(paper); |
| 579 | if (view.hasTools(toolName)) return; |
| 580 | const toolsView = new dia.ToolsView({ |
| 581 | name: toolName, |
| 582 | tools: [new ExpandButton()], |
| 583 | }); |
| 584 | view.addTools(toolsView); |
| 585 | }); |
| 586 | } |