public class PrintHornClauses
extends java.lang.Object
implements java.awt.print.Printable
Modifier and Type | Field and Description |
---|---|
static java.awt.print.PageFormat |
pgFormat
Stores the page format (landscape or portrait) chosen by User in
EditPrefs.
|
static java.awt.Font |
tinyFont
The font to use for printing HCs, which will be different from the font
used in the ChartPanel.
|
Constructor and Description |
---|
PrintHornClauses(LibBrowserText ch,
LibBrowser lb2)
Construct a PrintHornClauses object ready for printing
|
Modifier and Type | Method and Description |
---|---|
int |
print(java.awt.Graphics g,
java.awt.print.PageFormat pf,
int page)
This method, called by PrinterJob.print(), formats the header (title)
line for a page, then prints the requested page if it exists.
|
void |
printTheHCs()
Make sure this print request is valid, then print yourself, guided by the
settings in the static variables.
|
public static java.awt.Font tinyFont
public static java.awt.print.PageFormat pgFormat
public PrintHornClauses(LibBrowserText ch, LibBrowser lb2)
ch
- is the browser lbText to be printed.lb2
- is the LibBrowser containing the Horn Clausespublic void printTheHCs()
public int print(java.awt.Graphics g, java.awt.print.PageFormat pf, int page) throws java.awt.print.PrinterException
print
in interface java.awt.print.Printable
g
- the Graphics object on which to printpf
- the chosen page formatpage
- the page number to be printed (zero-based)java.awt.print.PrinterException