diff -r 4e8b98454baa -r 800c432b34c8 eric7/QScintilla/Printer.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/eric7/QScintilla/Printer.py Sat May 15 18:45:04 2021 +0200
@@ -0,0 +1,81 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2006 - 2021 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing the printer functionality.
+"""
+
+from PyQt5.QtCore import QTime, QDate, Qt, QCoreApplication
+from PyQt5.QtGui import QColor
+from PyQt5.QtPrintSupport import QPrinter
+from PyQt5.Qsci import QsciPrinter
+
+import Preferences
+
+
+class Printer(QsciPrinter):
+ """
+ Class implementing the QsciPrinter with a header.
+ """
+ def __init__(self, mode=QPrinter.PrinterMode.ScreenResolution):
+ """
+ Constructor
+
+ @param mode mode of the printer (QPrinter.PrinterMode)
+ """
+ super().__init__(mode)
+
+ self.setMagnification(Preferences.getPrinter("Magnification"))
+ if Preferences.getPrinter("ColorMode"):
+ self.setColorMode(QPrinter.ColorMode.Color)
+ else:
+ self.setColorMode(QPrinter.ColorMode.GrayScale)
+ if Preferences.getPrinter("FirstPageFirst"):
+ self.setPageOrder(QPrinter.PageOrder.FirstPageFirst)
+ else:
+ self.setPageOrder(QPrinter.PageOrder.LastPageFirst)
+ self.setPageMargins(
+ Preferences.getPrinter("LeftMargin") * 10,
+ Preferences.getPrinter("TopMargin") * 10,
+ Preferences.getPrinter("RightMargin") * 10,
+ Preferences.getPrinter("BottomMargin") * 10,
+ QPrinter.Unit.Millimeter
+ )
+ printerName = Preferences.getPrinter("PrinterName")
+ if printerName:
+ self.setPrinterName(printerName)
+ self.time = QTime.currentTime().toString(Qt.DateFormat.LocalDate)
+ self.date = QDate.currentDate().toString(Qt.DateFormat.LocalDate)
+ self.headerFont = Preferences.getPrinter("HeaderFont")
+
+ def formatPage(self, painter, drawing, area, pagenr):
+ """
+ Public method to generate a header line.
+
+ @param painter the paint canvas (QPainter)
+ @param drawing flag indicating that something should be drawn
+ @param area the drawing area (QRect)
+ @param pagenr the page number (int)
+ """
+ fn = self.docName()
+
+ header = QCoreApplication.translate(
+ 'Printer', '{0} - Printed on {1}, {2} - Page {3}'
+ ).format(fn, self.date, self.time, pagenr)
+
+ painter.save()
+ painter.setFont(self.headerFont) # set our header font
+ painter.setPen(QColor(Qt.GlobalColor.black)) # set color
+ if drawing:
+ fm = painter.fontMetrics()
+ try:
+ fmWidth = fm.horizontalAdvance(header)
+ except AttributeError:
+ fmWidth = fm.width(header)
+ painter.drawText(
+ area.right() - fmWidth,
+ area.top() + painter.fontMetrics().ascent(), header)
+ area.setTop(area.top() + painter.fontMetrics().height() + 5)
+ painter.restore()
