--- a/eric6/QScintilla/Printer.py Wed Jan 08 18:57:10 2020 +0100 +++ b/eric6/QScintilla/Printer.py Wed Jan 08 18:58:31 2020 +0100 @@ -70,8 +70,13 @@ painter.setFont(self.headerFont) # set our header font painter.setPen(QColor(Qt.black)) # set color if drawing: + fm = painter.fontMetrics() + try: + fmWidth = fm.horizontalAdvance(header) + except AttributeError: + fmWidth = fm.width(header) painter.drawText( - area.right() - painter.fontMetrics().width(header), + area.right() - fmWidth, area.top() + painter.fontMetrics().ascent(), header) area.setTop(area.top() + painter.fontMetrics().height() + 5) painter.restore()