/**
* Removes the previous content border from the specified component, and sets an empty border if
* there has been no border or an UIResource instance before.
*/
private void stripContentBorder(Object c) {
if (c instanceof JComponent) {
JComponent contentComp = (JComponent) c;
Border contentBorder = contentComp.getBorder();
if (contentBorder == null || contentBorder instanceof UIResource) {
contentComp.setBorder(handyEmptyBorder);
}
}
}
/** Uninstalls the UI delegate for the specified component */
public void uninstallUI(JComponent c) {
frame = (JInternalFrame) c;
Container cont = ((JInternalFrame) (c)).getContentPane();
if (cont instanceof JComponent) {
JComponent content = (JComponent) cont;
if (content.getBorder() == handyEmptyBorder) {
content.setBorder(null);
}
}
super.uninstallUI(c);
}
