Possible 'Widget is disposed' message handled.

Change-Id: Ib5ea6e9d3dbd9ca5eda10ea8a4c90d26c72dedda
Reviewed-on: https://git.eclipse.org/r/16040
Reviewed-by: Matthias Villiger <mvi@bsiag.com>
IP-Clean: Matthias Villiger <mvi@bsiag.com>
Tested-by: Matthias Villiger <mvi@bsiag.com>
1 file changed