public void propertyChange(PropertyChangeEvent e) { String name = e.getPropertyName(); JInternalFrame jif = (JInternalFrame) e.getSource(); if (!(jif.getUI() instanceof InternalFrameUI)) { return; } InternalFrameUI ui = (InternalFrameUI) jif.getUI(); if (name.equals(FRAME_TYPE)) { if (e.getNewValue() instanceof String) { ui.setFrameType((String) e.getNewValue()); } } else if (name.equals(IS_PALETTE)) { if (e.getNewValue() != null) { ui.setPalette(((Boolean) e.getNewValue()).booleanValue()); } else { ui.setPalette(false); } } else if (name.equals(JInternalFrame.CONTENT_PANE_PROPERTY)) { ui.stripContentBorder(e.getNewValue()); } }