diff options
| author | Adrien Tétar | 2015-07-03 23:21:20 +0200 |
|---|---|---|
| committer | Adrien Tétar | 2015-07-03 23:21:20 +0200 |
| commit | c9e2e049549d25c2b8ef5757547fc1f7533e7186 (patch) | |
| tree | 95a994fd7b6c7da3c06109ce555cde9badeb2042 /Lib/defconQt/featureTextEditor.py | |
| parent | 2cb5646c5c49258398ad346bd1a975c6b9c79bd6 (diff) | |
| download | trufont-c9e2e049549d25c2b8ef5757547fc1f7533e7186.tar.bz2 | |
glyphView: ruler tool, minor nits and refactorings
Diffstat (limited to 'Lib/defconQt/featureTextEditor.py')
| -rw-r--r-- | Lib/defconQt/featureTextEditor.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Lib/defconQt/featureTextEditor.py b/Lib/defconQt/featureTextEditor.py index 9b32290..5363034 100644 --- a/Lib/defconQt/featureTextEditor.py +++ b/Lib/defconQt/featureTextEditor.py @@ -3,6 +3,7 @@ from PyQt5.QtGui import QColor, QFont, QKeySequence, QPainter, QSyntaxHighlighte from PyQt5.QtWidgets import (QApplication, QFileDialog, QMainWindow, QMenu, QMessageBox, QPlainTextEdit, QWidget) +# TODO: implement search and replace class MainEditWindow(QMainWindow): def __init__(self, font=None, parent=None): super(MainEditWindow, self).__init__(parent) @@ -60,13 +61,14 @@ class LineNumberArea(QWidget): def paintEvent(self, event): self.parent().lineNumberAreaPaintEvent(event) - + class TextEditor(QPlainTextEdit): def __init__(self, text=None, parent=None): super(TextEditor, self).__init__(parent) # https://gist.github.com/murphyrandle/2921575 font = QFont('Roboto Mono', 10) - #font.setFixedPitch(True) + font.setFixedPitch(True) + self.setFont(font) self._indent = " " self.highlighter = Highlighter(self.document()) @@ -75,11 +77,10 @@ class TextEditor(QPlainTextEdit): self.updateRequest.connect(self.updateLineNumberArea) self.setPlainText(text) - self.setFont(font) def setFontParams(self, family='Roboto Mono', ptSize=10, isMono=True): font = QFont(family, ptSize) - #font.setFixedPitch(isMono) + font.setFixedPitch(isMono) self.setFont(font) def write(self, features): |