/** * Returns the mirror margins setting * * @return True or false indicating whether or not mirror margins is turned on. */ public boolean getMirrorMargins() { return settings.getMirrorMargins(); }
/** * Returns the mirror margins setting * * @return True or false indicating whether or not mirror margins is turned on. */ public boolean getMirrorMargins() { return settings.getMirrorMargins(); }