void tabdet_onClose(object sender, EventArgs e)
{
// close the corresponding dockpanel
if (sender is MapViewerEx)
{
MapViewerEx tabdet = (MapViewerEx)sender;
string dockpanelname = "Symbol: " + tabdet.Map_name + " [" + Path.GetFileName(tabdet.Filename) + "]";
string dockpanelname3 = "Symbol difference: " + tabdet.Map_name + " [" + Path.GetFileName(tabdet.Filename) + "]";
foreach (DevExpress.XtraBars.Docking.DockPanel dp in dockManager1.Panels)
{
if (dp.Text == dockpanelname)
{
dockManager1.RemovePanel(dp);
break;
}
else if (dp.Text == dockpanelname3)
{
dockManager1.RemovePanel(dp);
break;
}
}
}
}