/** * @return a compact description */ public String toStringShort() { if (isOtherScreen()) { return String.format("%s, %dx%d", getScreen().getIDString(), w, h); } else { String scrText = getScreen() == null ? "?" : "" + (-1 == getScreen().getID() ? "Union" : getScreen().getID()); return String.format("R[%d,%d %dx%d]@S(%s)", x, y, w, h, scrText); } } //</editor-fold>