Use fixed-width font for Qt editor.

This commit is contained in:
Bastian Kleineidam 2011-04-26 18:58:08 +02:00
parent bf98da0de1
commit 66079549ef

View file

@ -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)