Closed andy5995 closed 7 years ago
@titiger proposed this change in #148
I vote to remove the resize possibility. Just use "new" to start a map of different size. Real resize makes no sense in my opinion.
resize makes sense if you want to make the map bigger and you need some space around it. I think its ok like it is. There will be no undo for this as its too complicated to implement and not used very often.
@titiger proposed this change in #148