13e841d613
I'm pretty confident that this isn't actually required by the JavaFX threading model, but it makes the code more obviously correct and uncontended synchronization has a negligible cost when we're talking about UI-level changes. |
||
|---|---|---|
| .. | ||
| util | ||