42 Preferences.getPrinter("TopMargin") * 10, |
42 Preferences.getPrinter("TopMargin") * 10, |
43 Preferences.getPrinter("RightMargin") * 10, |
43 Preferences.getPrinter("RightMargin") * 10, |
44 Preferences.getPrinter("BottomMargin") * 10, |
44 Preferences.getPrinter("BottomMargin") * 10, |
45 QPrinter.Millimeter |
45 QPrinter.Millimeter |
46 ) |
46 ) |
47 self.setPrinterName(Preferences.getPrinter("PrinterName")) |
47 printerName = Preferences.getPrinter("PrinterName") |
|
48 if printerName: |
|
49 self.setPrinterName(printerName) |
48 self.time = QTime.currentTime().toString(Qt.LocalDate) |
50 self.time = QTime.currentTime().toString(Qt.LocalDate) |
49 self.date = QDate.currentDate().toString(Qt.LocalDate) |
51 self.date = QDate.currentDate().toString(Qt.LocalDate) |
50 self.headerFont = Preferences.getPrinter("HeaderFont") |
52 self.headerFont = Preferences.getPrinter("HeaderFont") |
51 |
53 |
52 def formatPage(self, painter, drawing, area, pagenr): |
54 def formatPage(self, painter, drawing, area, pagenr): |