＋
‹
⋯
☰
⤢
つなぐ先の枠をタップ（空いた所をタップで中止）
名前を変える
全体表示
ファイルに書き出す（JSON）
テキストで書き出す（箇条書き）
読み込む（JSON）
このマップを消す
とじる
編集
ほかの枠とつなぐ
枝を畳む / 開く
この枠を消す
とじる