QScintilla/Printer.py

changeset 1155
4cbef040f07e
parent 1131
7781e396c903
child 1509
c0b5e693b0eb
--- a/QScintilla/Printer.py	Thu Jun 30 08:23:56 2011 +0200
+++ b/QScintilla/Printer.py	Fri Jul 01 19:46:37 2011 +0200
@@ -35,6 +35,13 @@
             self.setPageOrder(QPrinter.FirstPageFirst)
         else:
             self.setPageOrder(QPrinter.LastPageFirst)
+        self.setPageMargins(
+            Preferences.getPrinter("LeftMargin") * 10,
+            Preferences.getPrinter("TopMargin") * 10,
+            Preferences.getPrinter("RightMargin") * 10,
+            Preferences.getPrinter("BottomMargin") * 10,
+            QPrinter.Millimeter
+        )
         self.setPrinterName(Preferences.getPrinter("PrinterName"))
         self.time = QTime.currentTime().toString(Qt.LocalDate)
         self.date = QDate.currentDate().toString(Qt.LocalDate)

eric ide

mercurial