/** * Sets the insets from the paragraph attributes specified in the given attributes. * * @param attr the attributes */ protected void setParagraphInsets(AttributeSet attr) { // Since version 1.1 doesn't have scaling and assumes // a pixel is equal to a point, we just cast the point // sizes to integers. top = (short) StyleConstants.getSpaceAbove(attr); left = (short) StyleConstants.getLeftIndent(attr); bottom = (short) StyleConstants.getSpaceBelow(attr); right = (short) StyleConstants.getRightIndent(attr); }