public void RemoveShellWidget(IShell w ) { shellWidgetList.Remove(w.UniqueId); w.Dispose(); //全てのウイジェットが消失した場合 if (shellWidgetList.Count == 0 ) { //アプリケーション終了 eventTable.CallHandler(Events.TonNuraEventId.DestroyContext, this); Application.Exit(this); } }