| changeset 434 | 0d5998b32a7c |
| parent 433 | e457ec945e50 |
| 433:e457ec945e50 | 434:0d5998b32a7c |
|---|---|
18 if (!this.renderer.is_dragging) { |
18 if (!this.renderer.is_dragging) { |
19 this.source_representation.openEditor(); |
19 this.source_representation.openEditor(); |
20 } |
20 } |
21 } |
21 } |
22 }).value(); |
22 }).value(); |
23 // }); |
|
24 |
23 |
25 /* EdgeEditButton End */ |
24 /* EdgeEditButton End */ |
26 |
25 |
27 return EdgeEditButton; |
26 return EdgeEditButton; |
28 |
27 |