QScintilla/Printer.py

changeset 3048
83f86da6344e
parent 3011
18292228c724
child 3060
5883ce99ee12
child 3160
209a07d7e401
equal deleted inserted replaced
3047:2a3c730dbb58 3048:83f86da6344e
40 Preferences.getPrinter("TopMargin") * 10, 40 Preferences.getPrinter("TopMargin") * 10,
41 Preferences.getPrinter("RightMargin") * 10, 41 Preferences.getPrinter("RightMargin") * 10,
42 Preferences.getPrinter("BottomMargin") * 10, 42 Preferences.getPrinter("BottomMargin") * 10,
43 QPrinter.Millimeter 43 QPrinter.Millimeter
44 ) 44 )
45 self.setPrinterName(Preferences.getPrinter("PrinterName")) 45 printerName = Preferences.getPrinter("PrinterName")
46 if printerName:
47 self.setPrinterName(printerName)
46 self.time = QTime.currentTime().toString(Qt.LocalDate) 48 self.time = QTime.currentTime().toString(Qt.LocalDate)
47 self.date = QDate.currentDate().toString(Qt.LocalDate) 49 self.date = QDate.currentDate().toString(Qt.LocalDate)
48 self.headerFont = Preferences.getPrinter("HeaderFont") 50 self.headerFont = Preferences.getPrinter("HeaderFont")
49 51
50 def formatPage(self, painter, drawing, area, pagenr): 52 def formatPage(self, painter, drawing, area, pagenr):

eric ide

mercurial