///////////////////////////////////////////////////////////////////////
private void HostForm_Disposed(
object sender, /* in */
EventArgs e /* in */
)
{
if (!disposed)
{
//
// NOTE: Attempt to "notify" our [parent] interpreter host
// that this host form is being disposed and should
// no longer be used.
//
if ((interpreter != null) && !interpreter.Disposed)
{
IHost host = interpreter.Host;
if (host != null)
{
Class10 class10 = host as Class10;
if (class10 != null)
{
class10.ResetHostForm();
}
}
}
//
// NOTE: This form is now disposed.
//
disposed = true;
}
}