start improving the editor so that it allows to change all properties of the edited world, including name and buggles
properly cleanup the world name when loading it
Various cleanups in the map editor interface, and in the file loading
first attempt at world properties edition; the world name can now be changed
allow gridworlds to be resized
allow the world dimensions to be modified in the editor \o/
forgot this file
make the world loading methods now use the dotted notation. Yeah, still learning java way of life :)
document the changes done since the release
enable the transition of world file format: write new but read old&new
convert the existing maps to the new formalism
cleanup in warning messages so that they can remain in production
kill dead code
cosmetics
last clicked cell is marked as 'selected'
deselect cells that are supressed on world resize
add 2 properties to track the currently selected cell
properties for topWall and leftWall
editor was strangly broken -- seems good now
don't translate Y/N in cell contents