gui/mapselector.cc
Mon, 24 Oct 2005 10:15:40 +0000 Newly created map is realized by the property givening by common sense.
Fri, 21 Oct 2005 13:32:12 +0000 MapSelector widget is able to pop up NewMap window. At the moment I hope MapSelector widget is done.
Thu, 20 Oct 2005 15:50:23 +0000 Mapselector widget reached its first release, but there are still work to do on it, I know...