From 66079549efed4cad80e889875a71c94ca1c9c3b8 Mon Sep 17 00:00:00 2001 From: Bastian Kleineidam Date: Tue, 26 Apr 2011 18:58:08 +0200 Subject: [PATCH] Use fixed-width font for Qt editor. --- linkcheck/gui/editor_qt.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/linkcheck/gui/editor_qt.py b/linkcheck/gui/editor_qt.py index f77b88e2..0052a28b 100644 --- a/linkcheck/gui/editor_qt.py +++ b/linkcheck/gui/editor_qt.py @@ -40,6 +40,9 @@ class Editor (QtGui.QPlainTextEdit): def __init__ (self, parent): """Initialize line numbering.""" super(Editor, self).__init__(parent) + font = QtGui.QFont("Consolas", 11) + font.setFixedPitch(True) + self.document().setDefaultFont(font) self.lineNumberArea = LineNumberArea(self) self.blockCountChanged.connect(self.updateLineNumberAreaWidth) self.updateRequest.connect(self.updateLineNumberArea)