eric6/QScintilla/Printer.py

changeset 7366
bd743eacfbca
parent 7360
9190402e4505
child 7781
607a6098cb44
--- 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()

eric ide

mercurial