260261262263264265266267268269
} /** Gets the right print margin. */ public double getRightMargin() { if (rightMargin==null) { rightMargin= new RightMargin(); this.sheet.addMarginRecord(rightMargin); } return rightMargin.getMargin(); }
497498499500501502503504505506
} /** Sets the sheet's right print margin. */ public void setRightMargin (double value) { if (rightMargin==null) { rightMargin= new RightMargin(); this.sheet.addMarginRecord(rightMargin); } rightMargin.setMargin( value ); }