force capitalization of player/goalie names in player selection

This commit is contained in:
Jonathan Lamothe
2019-12-14 01:09:40 -05:00
parent 4ca0b54de2
commit 996bad94f1
4 changed files with 56 additions and 2 deletions

View File

@@ -622,6 +622,8 @@ data SelectParams a = SelectParams
-- ^ Search function looking for an exact match
, spElemDesc :: a -> String
-- ^ Provides a string description of an element
, spProcessChar :: Char -> String -> String
-- ^ Processes a character entered by the user
, spCallback :: Maybe Int -> Action ()
-- ^ The function when the selection is made
, spNotFound :: String -> Action ()