/**
* ------------------------------------------------------ Specifies whether the focus border
* (hilite border) is to be enabled for this container.
*
* @param flag true if enabled ------------------------------------------------------
*/
public void setDisplaysFocusBorder(boolean flag) {
displaysFocusBorder = flag;
if (displaysFocusBorder) {
tmpMargins.setMargins(getBorderHiliteWidth());
if (preferredMargins != null) tmpMargins.union(preferredMargins);
} else {
if (preferredMargins != null) tmpMargins.copy(preferredMargins);
else tmpMargins.setMargins(0, 0, 0, 0);
}
super.setMargins(tmpMargins);
invalidateLayout();
}
/**
* ------------------------------------------------------ Sets the margins of this MiPart.
*
* @param m the margins or null
* @overrides MiPart#setMargins ------------------------------------------------------
*/
public void setMargins(MiMargins m) {
if (preferredMargins != null) preferredMargins.copy(m);
else preferredMargins = new MiMargins(m);
MiMargins currentMargins = getMargins(tmpMargins);
if (displaysFocusBorder) {
currentMargins.setMargins(getBorderHiliteWidth());
currentMargins.union(preferredMargins);
} else {
currentMargins.copy(preferredMargins);
}
super.setMargins(currentMargins);
refreshBounds();
}
