sokoban: renamed level file

master
frederic wagner 2023-08-17 09:11:23 +02:00
parent a5ccaa1c34
commit ebc95fda69
3 changed files with 4 additions and 4 deletions

View File

@ -61,9 +61,9 @@ function next_map_offsets(filename, start_offset) {
let config = s.readJSON("sokoban.json", true); let config = s.readJSON("sokoban.json", true);
if (config === undefined) { if (config === undefined) {
let initial_offsets = next_map_offsets("Microban.txt", 0); let initial_offsets = next_map_offsets("Microban.sok", 0);
config = { config = {
levels_sets: ["Microban.txt"], // all known files containing levels levels_sets: ["Microban.sok"], // all known files containing levels
levels_set: 0, // which set are we using ? levels_set: 0, // which set are we using ?
current_maps: [0], // what is current map on each set ? current_maps: [0], // what is current map on each set ?
offsets: [initial_offsets], // known offsets for each levels set (binary positions of maps in each file) offsets: [initial_offsets], // known offsets for each levels set (binary positions of maps in each file)

View File

@ -13,7 +13,7 @@
"readme": "README.md", "readme": "README.md",
"storage": [ "storage": [
{"name":"sokoban.app.js","url":"app.js"}, {"name":"sokoban.app.js","url":"app.js"},
{"name":"Microban.txt", "url":"Microban.txt"}, {"name":"Microban.sok", "url":"Microban.sok"},
{"name":"sokoban.img","url":"app-icon.js","evaluate":true} {"name":"sokoban.img","url":"app-icon.js","evaluate":true}
], ],
"data": [{"name":"sokoban.json"} "data": [{"name":"sokoban.json"}