12542 - Mitigate race condition when selecting player sides#12667

Merged

uckelman merged 78 commits intovassalengine:masterfrom riverwanderer:12542-side-switch-race-mitigation

Sep 20, 2023

+102-47

Commits on Sep 4, 2023

Provides facility to set the hot-seat default side via a module Global Property VassalNextSide. The GP may be defined as a Preferences string property (on a blank tab to keep it hidden), in which c…
riverwanderer
committed
Provides facility to set the hot-seat default side via a module Global Property VassalNextSide. The GP may be defined as a Preferences string property (on a blank tab to keep it hidden), in which c…
riverwanderer
committed
Provides facility to set the hot-seat default side via a module Global Property VassalNextSide. The GP may be defined as a Preferences string property (on a blank tab to keep it hidden), in which c…
riverwanderer
committed
Provides facility to set the hot-seat default side via a module Global Property VassalNextSide. The GP may be defined as a Preferences string property (on a blank tab to keep it hidden), in which c…
riverwanderer
committed
Validate VassalNextSide - check that it is an available side, rather than just not unavailable.
riverwanderer
committed
Validate VassalNextSide - check that it is an available side, rather than just not unavailable.
riverwanderer
committed
Validate VassalNextSide - check that it is an available side, rather than just not unavailable.
riverwanderer
committed
Use null-safe test on VassalNextSide.
riverwanderer
committed
Ref manual updated. Supercedes equivalent update in PR vassalengine#12636 .
riverwanderer
committed

Commits on Sep 7, 2023

Commits on Sep 10, 2023

Commits on Sep 13, 2023

Amend comment.
riverwanderer
committed

Commits on Sep 14, 2023

Commits on Sep 19, 2023