menu-manager (非ローカル オプションの定義)
public menu-manager:#MenuManager =null
パッケージ: CURL.GUI.BASE

メニューが表示されている時, MenuManagerがイベントを処理し、メニューを操作するために使用されます。このプロパティは、新しく開かれたMenuPaneを含むViewに設定されます。