private class InternalDesktopFrameListener extends InternalFrameAdapter
{
public void internalFrameClosing( InternalFrameEvent e )
{
DesktopPanel desktopPanel = internalFrameToDesktopPanelMap.get( e.getInternalFrame() );
if( !transferring && !desktopPanel.onClose( true ) )
{
return;
}
desktopPanel.removePropertyChangeListener( desktopPanelPropertyChangeListener );