fix: fix player selection when starting user maps. (#707)

The player selection was not being honored when starting user maps. Closes: #706
fishfolk · Mar 10, 2023 · 4524d9d · 4524d9d
1 parent b058aa0
commit 4524d9d
Showing 1 changed file with 17 additions and 1 deletion.
diff --git a/src/ui/main_menu/map_select.rs b/src/ui/main_menu/map_select.rs