公式マップエディタは(なぜか)マップサイズ変更が出来ないんですよねー…。 公式ツールとのファイル互換があるマップエディタのPUCHI-MAPを公開中なので、もし良かったら使ってみてください。「PUCHIPACK v1.6/公開キー: 4D25P44D」に含まれています。 公式ツールで作りかけのマップデータとかも読み込めるので、作りかけのデータがあっても大丈夫です。