(Box b, Consumer<Rect> r)
| 108 | return thread(from, a, onFrameChanged); |
| 109 | } |
| 110 | |
| 111 | //todo: generalize |
| 112 | static public void frameModified(Box b, Consumer<Rect> r) { |
| 113 | Rect rect = b.properties.get(Box.frame); |
| 114 | Rect r2 = rect.duplicate(); |
| 115 | r.accept(r2); |
| 116 | |
| 117 | Rect r3 = Callbacks.frameChange(b, r2); |
| 118 | |
| 119 | b.properties.put(Box.frame, r3); |
| 120 | |
| 121 | } |
| 122 |