org.eclipse.swt.events.DisposeListenerではまる

widgetDisposed()が、本当にdisposeされる前に呼ばれるとは。
(((Widget)e.getSource()).isDisposed()がfalseを返す。)

おかげで子をdisposeした後DisposeListenerで親の再レイアウトすると子の分のサイズが確保されたままになってしまう現象にはまりました。

こういう微妙な挙動ってJavadoc見てもよく分かりません。
DiposeListenerを誤用しているだけかも知れませんが。