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", "Theme"] |
215 ["SCHEME", "SCRIPT", "THEME", "MAZE_SIZE", "DRAWNMAP"] |
216 [["Default"], ["Normal"], ["Theme"]] |
216 [["Default"], ["Normal"], ["Theme"], ["0"], ["-"]] |
217 ) |
217 ) |
218 |
218 |
219 |
219 |
220 data StatisticsInfo = |
220 data StatisticsInfo = |
221 StatisticsInfo |
221 StatisticsInfo |