diff options
| author | Adrien Tétar | 2015-05-30 21:12:30 +0200 |
|---|---|---|
| committer | Adrien Tétar | 2015-05-30 21:15:51 +0200 |
| commit | 0a37e9204d91ea50059c1320f9375730b79a557c (patch) | |
| tree | ef3945410098ef70b0f7d856191b280fb2d922bd /Lib/defconQt/featureTextEditor.py | |
| parent | 3d769d86cc997486cea888f47310b546d112151e (diff) | |
| download | trufont-0a37e9204d91ea50059c1320f9375730b79a557c.tar.bz2 | |
Fix a few things
Diffstat (limited to 'Lib/defconQt/featureTextEditor.py')
| -rw-r--r-- | Lib/defconQt/featureTextEditor.py | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/Lib/defconQt/featureTextEditor.py b/Lib/defconQt/featureTextEditor.py index 079a2c4..0786c03 100644 --- a/Lib/defconQt/featureTextEditor.py +++ b/Lib/defconQt/featureTextEditor.py @@ -64,10 +64,9 @@ class LineNumberArea(QWidget): class TextEditor(QPlainTextEdit): def __init__(self, text=None, parent=None): super(TextEditor, self).__init__(parent) - font = QFont() - font.setFamily('Roboto Mono') - font.setPointSize(10) - font.setFixedPitch(True) + # https://gist.github.com/murphyrandle/2921575 + font = QFont('Roboto Mono', 10) + #font.setFixedPitch(True) self._indent = " " self.highlighter = Highlighter(self.document()) @@ -78,11 +77,9 @@ class TextEditor(QPlainTextEdit): self.setPlainText(text) self.setFont(font) - def setFontParams(self, family='CamingoCode', ptSize=10, isMono=True): - font = QFont() - font.setFamily(family) - font.setPointSize(ptSize) - font.setFixedPitch(isMono) + def setFontParams(self, family='Roboto Mono', ptSize=10, isMono=True): + font = QFont(family, ptSize) + #font.setFixedPitch(isMono) self.setFont(font) def write(self, features): |