} else if (tokens[0] === 'TERRAIN') {
game.terrains[tokens[1]] = tokens[2]
} else if (tokens[0] === 'MAP') {
} else if (tokens[0] === 'TERRAIN') {
game.terrains[tokens[1]] = tokens[2]
} else if (tokens[0] === 'MAP') {
get_thing_info: function(t) {
const symbol = game.thing_types[t.type_];
let info = t.type_ + " / " + symbol;
get_thing_info: function(t) {
const symbol = game.thing_types[t.type_];
let info = t.type_ + " / " + symbol;