// {{{ print() method
public static void print(final View view, final Buffer buffer, boolean selection) {
job = getPrintJob(buffer.getPath());
boolean header = jEdit.getBooleanProperty("print.header");
boolean footer = jEdit.getBooleanProperty("print.footer");
boolean lineNumbers = jEdit.getBooleanProperty("print.lineNumbers");
boolean color = jEdit.getBooleanProperty("print.color");
Font font = jEdit.getFontProperty("print.font");
BufferPrintable printable =
new BufferPrintable(job, format, view, buffer, font, header, footer, lineNumbers, color);
job.setPrintable(printable);
if (!job.printDialog(format)) return;
savePrintSpec();
printable.print();
} // }}}