Minor fixes; tile numbering

Toggle tile numbers on the map editor.