diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gencode.js | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/gencode.js b/tools/gencode.js index d4d8d23..cc789b3 100644 --- a/tools/gencode.js +++ b/tools/gencode.js @@ -54,17 +54,6 @@ for (let line of fs.readFileSync("events.txt", "utf-8").split("\n")) { console.log("CODE[" + line[1] + " * 2 + 1] = [") break - case "if_space": - emit([ "if", "()=>can_vm_space(1,(s)=>" + line.slice(1).join(" ") + ")" ]) - emit([ "space", true, 1, 1, "(s)=>" + line.slice(1).join(" ") ]) - emit([ "else" ]) - break - - case "or_space": - emit([ "space", true, 1, 1, "(s)=>" + line.slice(1).join(" ") ]) - emit([ "endif" ]) - break - case "space_no_undo": emit([ "space", false, line[1], line[1], "(s)=>" + line.slice(2).join(" ") ]) break |