2007-07-12 ■ sleipnir script というわけであまり意味はなくなったけど、一応現段階のExtendedMenuのxml切り替えスクリプトをラボにおいた。条件とか自分で細かく決めたいなら意味あるかもしれないし。