Renamed PickRandom to SelectRandom

2017-06-21 11:57:04 -04:00
parent d16d6d57f0
commit 430507a10a
28 changed files with 54 additions and 53 deletions
@@ -204,7 +204,7 @@ namespace Game
                        }).ToList();

                        if (!usableDisplays.Empty())
-                            preferredMountDisplay = usableDisplays.PickRandom().DisplayID;
+                            preferredMountDisplay = usableDisplays.SelectRandom().DisplayID;
                    }
                }
            }