equal
deleted
inserted
replaced
210 ["MAP", "MAPGEN", "MAZE_SIZE", "SEED", "TEMPLATE"] |
210 ["MAP", "MAPGEN", "MAZE_SIZE", "SEED", "TEMPLATE"] |
211 ["+rnd+", "0", "0", "seed", "0"] |
211 ["+rnd+", "0", "0", "seed", "0"] |
212 ) |
212 ) |
213 ( |
213 ( |
214 Map.fromList $ Prelude.zip |
214 Map.fromList $ Prelude.zip |
215 ["SCHEME", "SCRIPT"] |
215 ["SCHEME", "SCRIPT", "Theme"] |
216 [["Default"], ["Normal"]] |
216 [["Default"], ["Normal"], "Theme"] |
217 ) |
217 ) |
218 |
218 |
219 |
219 |
220 data StatisticsInfo = |
220 data StatisticsInfo = |
221 StatisticsInfo |
221 StatisticsInfo |