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