X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=src%2FGui%2FguiInterface.dcl;h=42c184ea2cbe8e3ee3e6212f65fab4a8ca82b1d9;hb=HEAD;hp=e7e5db4df401fc9942582ef4df04dff57747420c;hpb=5d2f06991116c1828e8aebd60a2120004eb9b742;p=fp1415-soccerfun.git diff --git a/src/Gui/guiInterface.dcl b/src/Gui/guiInterface.dcl index e7e5db4..42c184e 100644 --- a/src/Gui/guiInterface.dcl +++ b/src/Gui/guiInterface.dcl @@ -13,7 +13,7 @@ getActionPicsForGui :: !Match !*env -> (!ActionPics,!*env) | FileSystem env */ stepMatchForGui :: !FootballGame !*env -> (![RefereeAction], !FootballGame, !*env) | FileSystem env -:: DisplaySpeed = Slowest | Slower | Normal | Faster | Fastest +:: DisplaySpeed = Slowest | Slower | Normal | Fast | Faster | Fastest instance toString DisplaySpeed instance fromString DisplaySpeed instance == DisplaySpeed