Also define default value of THEME
authorunc0rr
Thu, 16 Jan 2014 01:19:21 +0400
changeset 9989 a9695e8dc8d2
parent 9988 317d46a2afd2
child 9990 c8443c53eb33
Also define default value of THEME
gameServer/CoreTypes.hs
--- a/gameServer/CoreTypes.hs	Tue Jan 14 22:56:13 2014 +0100
+++ b/gameServer/CoreTypes.hs	Thu Jan 16 01:19:21 2014 +0400
@@ -212,8 +212,8 @@
         )
         (
             Map.fromList $ Prelude.zip
-                ["SCHEME", "SCRIPT"]
-                [["Default"], ["Normal"]]
+                ["SCHEME", "SCRIPT", "Theme"]
+                [["Default"], ["Normal"], "Theme"]
         )