map Editor almost finished
1 add file IO functionality
2 complete the operations on all-the-buttons-clicked
3 rectify some functions in class MapView
4 add the size label