| |
|
| java.lang.Object org.acm.seguin.print.PrintingSettings
PrintingSettings | public class PrintingSettings (Code) | | Stores the pretty printer settings. Allows the user to reload or write
them to a file.
author: Chris Seguin |
PrintingSettings | public PrintingSettings()(Code) | | Constructor for the PrintingSettings object
|
getDateFontSize | public int getDateFontSize()(Code) | | Gets the DateFontSize attribute of the PrintingSettings object
The DateFontSize value |
getFilenameFontSize | public int getFilenameFontSize()(Code) | | Gets the FilenameFontSize attribute of the PrintingSettings object
The FilenameFontSize value |
getHeaderBlockHeight | public int getHeaderBlockHeight()(Code) | | Gets the HeaderBlockHeight attribute of the PrintingSettings object
The HeaderBlockHeight value |
getLinesPerPage | public int getLinesPerPage()(Code) | | Gets the LinesPerPage attribute of the PrintingSettings object
The LinesPerPage value |
getTextFontSize | public int getTextFontSize()(Code) | | Gets the TextFontSize attribute of the PrintingSettings object
The TextFontSize value |
getTextSpace | public int getTextSpace()(Code) | | Gets the TextSpace attribute of the PrintingSettings object
The TextSpace value |
save | public void save()(Code) | | Description of the Method
|
setDateFontSize | public void setDateFontSize(int value)(Code) | | Sets the DateFontSize attribute of the PrintingSettings object
Parameters: value - The new DateFontSize value |
setFilenameFontSize | public void setFilenameFontSize(int value)(Code) | | Sets the FilenameFontSize attribute of the PrintingSettings object
Parameters: value - The new FilenameFontSize value |
setHeaderBlockHeight | public void setHeaderBlockHeight(int value)(Code) | | Sets the HeaderBlockHeight attribute of the PrintingSettings object
Parameters: value - The new HeaderBlockHeight value |
setLinesPerPage | public void setLinesPerPage(int value)(Code) | | Sets the LinesPerPage attribute of the PrintingSettings object
Parameters: value - The new LinesPerPage value |
setTextFontSize | public void setTextFontSize(int value)(Code) | | Sets the TextFontSize attribute of the PrintingSettings object
Parameters: value - The new TextFontSize value |
setTextSpace | public void setTextSpace(int value)(Code) | | Sets the TextSpace attribute of the PrintingSettings object
Parameters: value - The new TextSpace value |
|
|
|