269270271272273274275276277278
} /** Gets the top print margin. */ public double getTopMargin() { if (topMargin==null) { topMargin= new TopMargin(); this.sheet.addMarginRecord(topMargin); } return topMargin.getMargin(); }
506507508509510511512513514515
} /** Sets the sheet's top print margin. */ public void setTopMargin (double value) { if (topMargin==null) { topMargin= new TopMargin(); this.sheet.addMarginRecord(topMargin); } topMargin.setMargin( value ); }