from pRegroup2020 別名保存UI マップ自体を手軽にバックアップ 将来的にはUIから別名保存したい 今「別名保存」のボタンを押すのに適当な場所がなかった 汎用のハンバーガーボタンとか設定用の歯車ボタンとか