/** * ------------------------------------------------------ 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(); }