| changeset 433 | e457ec945e50 |
| parent 293 | fba23fde14ba |
| child 434 | 0d5998b32a7c |
| 432:24754fe4baaf | 433:e457ec945e50 |
|---|---|
23 this.source_representation.model.set("size", _newsize); |
23 this.source_representation.model.set("size", _newsize); |
24 this.source_representation.select(); |
24 this.source_representation.select(); |
25 this.select(); |
25 this.select(); |
26 paper.view.draw(); |
26 paper.view.draw(); |
27 } |
27 } |
28 }); |
28 }).value(); |
29 // }); |
|
29 |
30 |
30 /* NodeShrinkButton End */ |
31 /* NodeShrinkButton End */ |
31 |
32 |
32 return NodeShrinkButton; |
33 return NodeShrinkButton; |
33 |
34 |