call this to request a redraw at the next available animation cycle
(Box b)
| 135 | * call this to request a redraw at the next available animation cycle |
| 136 | */ |
| 137 | static public void dirty(Box b) { |
| 138 | // which layer needs updating? |
| 139 | String layerName = b.properties.getOr(FLineDrawing.layer, () -> "__main__"); |
| 140 | |
| 141 | dirty(b, layerName); |
| 142 | } |
| 143 | |
| 144 | static public void dirty(Box b, String explicitLayerName) { |
| 145 |
no test coverage detected