JSON形式でのエクスポート

JSON形式でのエクスポート

今は選択範囲のコピーでクリップボードにJSONが入るが、マップ全体をファイルとしてダウンロードできると良い

日時を記録しておけば作成当時の古いバージョンで開くことができる

「ユーザはこういうのが欲しいかもしれない」レベルなので優先度低