| changeset 433 | e457ec945e50 |
| parent 293 | fba23fde14ba |
| child 434 | 0d5998b32a7c |
| 432:24754fe4baaf | 433:e457ec945e50 |
|---|---|
31 this.project.removeEdge(this.source_representation.model); |
31 this.project.removeEdge(this.source_representation.model); |
32 } |
32 } |
33 } |
33 } |
34 } |
34 } |
35 } |
35 } |
36 }); |
36 }).value(); |
37 // }); |
|
37 |
38 |
38 /* EdgeRemoveButton End */ |
39 /* EdgeRemoveButton End */ |
39 |
40 |
40 return EdgeRemoveButton; |
41 return EdgeRemoveButton; |
41 |
42 |