880 |
if (e.getPropertyName().equals(JInternalFrame.IS_CLOSED_PROPERTY)) |
if (e.getPropertyName().equals(JInternalFrame.IS_CLOSED_PROPERTY)) |
881 |
{ |
{ |
882 |
if (frame.getDefaultCloseOperation() == JInternalFrame.HIDE_ON_CLOSE) |
if (frame.getDefaultCloseOperation() == JInternalFrame.HIDE_ON_CLOSE) |
883 |
frame.setVisible(false); |
{ |
884 |
|
frame.setVisible(false); |
885 |
|
frame.getDesktopPane().repaint(); |
886 |
|
throw new PropertyVetoException ("close operation is HIDE_ON_CLOSE\n", e); |
887 |
|
} |
888 |
else if (frame.getDefaultCloseOperation() == JInternalFrame.DISPOSE_ON_CLOSE) |
else if (frame.getDefaultCloseOperation() == JInternalFrame.DISPOSE_ON_CLOSE) |
889 |
closeFrame(frame); |
closeFrame(frame); |
890 |
else |
else |