Mercurial > lcfOS
annotate python/codeedit.py @ 223:85c8105318e7
Fixup of parser
| author | Windel Bouwman |
|---|---|
| date | Tue, 09 Jul 2013 17:42:52 +0200 |
| parents | ee0d30533dae |
| children | dd8bbb963458 |
| rev | line source |
|---|---|
| 160 | 1 #!/usr/bin/python |
| 2 | |
| 3 import sys | |
| 4 from PyQt4.QtCore import * | |
| 5 from PyQt4.QtGui import * | |
| 6 import inspect | |
| 7 | |
| 8 GAP = 5 | |
| 9 | |
| 10 def clipVal(v, mn, mx): | |
| 11 if v < mn: return mn | |
| 12 if v > mx: return mx | |
| 13 return v | |
| 14 | |
| 15 class InnerCode(QWidget): | |
| 162 | 16 textChanged = pyqtSignal() |
| 160 | 17 def __init__(self, scrollArea): |
| 18 super().__init__(scrollArea) | |
| 19 self.scrollArea = scrollArea | |
|
169
ee0d30533dae
Added more tests and improved the diagnostic update
Windel Bouwman
parents:
167
diff
changeset
|
20 self.setFont(QFont('Courier', 12)) |
| 160 | 21 self.setFocusPolicy(Qt.StrongFocus) |
| 163 | 22 # TODO: only beam cursor in text area.. |
| 23 self.setCursor(Qt.IBeamCursor) | |
| 162 | 24 h = QFontMetrics(self.font()).height() |
| 25 self.errorPixmap = QPixmap('error.png').scaled(h, h) | |
| 160 | 26 self.blinkcursor = False |
| 162 | 27 self.errorlist = [] |
| 160 | 28 # Initial values: |
| 29 self.setSource('') | |
| 30 self.CursorPosition = 0 | |
| 31 t = QTimer(self) | |
| 32 t.timeout.connect(self.updateCursor) | |
| 33 t.setInterval(500) | |
| 34 t.start() | |
| 35 def updateCursor(self): | |
| 36 self.blinkcursor = not self.blinkcursor | |
| 163 | 37 self.update() |
| 38 #self.update(self.cursorX, self.cursorY, self.charWidth, self.charHeight) | |
| 160 | 39 def setSource(self, src): |
| 40 self.src = src | |
| 41 self.adjust() | |
| 162 | 42 def getSource(self): |
| 43 return self.src | |
| 44 def setErrors(self, el): | |
| 45 self.errorlist = el | |
| 46 self.update() | |
| 160 | 47 def setCursorPosition(self, c): |
| 48 self.cursorPosition = clipVal(c, 0, len(self.src)) | |
| 161 | 49 self.update() |
| 160 | 50 CursorPosition = property(lambda self: self.cursorPosition, setCursorPosition) |
| 51 @property | |
| 161 | 52 def Rows(self): |
| 53 # Make this nicer: | |
| 54 return self.src.split('\n') | |
| 55 @property | |
| 160 | 56 def CursorRow(self): |
| 57 # TODO: make this nice. | |
| 58 txt = self.src[0:self.cursorPosition] | |
| 59 return len(txt.split('\n')) | |
| 60 @property | |
| 61 def CursorCol(self): | |
| 62 txt = self.src[0:self.cursorPosition] | |
| 63 curLine = txt.split('\n')[-1] | |
| 64 return len(curLine) + 1 | |
| 65 @property | |
| 66 def CurrentLine(self): | |
| 67 return self.getRow(self.CursorRow) | |
| 161 | 68 def setRowCol(self, r, c): |
| 163 | 69 prevRows = self.Rows[:r-1] |
| 161 | 70 txt = '\n'.join(prevRows) |
| 163 | 71 c = clipVal(c, 1, len(self.getRow(r))) |
| 162 | 72 self.CursorPosition = len(txt) + c + 1 |
| 167 | 73 self.showRow(self.CursorRow) |
| 160 | 74 def getRow(self, r): |
| 161 | 75 rows = self.Rows |
| 160 | 76 r = r - 1 |
| 77 if r < 0 or r > len(rows) - 1: | |
| 78 return '' | |
| 79 else: | |
| 80 return rows[r] | |
| 163 | 81 def showRow(self, r): |
| 82 self.scrollArea.ensureVisible(self.xposTXT, r * self.charHeight, 4, self.charHeight) | |
| 162 | 83 # Annotations: |
| 84 def addAnnotation(self, row, col, ln, msg): | |
| 85 pass | |
| 86 # Text modification: | |
| 160 | 87 def getChar(self, pos): |
| 88 pass | |
| 89 def insertText(self, txt): | |
| 90 self.setSource(self.src[0:self.CursorPosition] + txt + self.src[self.CursorPosition:]) | |
| 91 self.CursorPosition += len(txt) | |
| 162 | 92 self.textChanged.emit() |
| 161 | 93 def deleteChar(self): |
| 94 self.setSource(self.src[0:self.CursorPosition] + self.src[self.CursorPosition+1:]) | |
| 162 | 95 self.textChanged.emit() |
| 160 | 96 def GotoNextChar(self): |
| 97 if self.src[self.CursorPosition] != '\n': | |
| 98 self.CursorPosition += 1 | |
| 99 def GotoPrevChar(self): | |
| 100 if self.src[self.CursorPosition - 1] != '\n': | |
| 101 self.CursorPosition -= 1 | |
| 102 def GotoNextLine(self): | |
| 103 curLine = self.CurrentLine | |
| 162 | 104 c = self.CursorCol - 1 # go to zero based |
| 161 | 105 self.CursorPosition += len(curLine) - c + 1 # line break char! |
| 160 | 106 curLine = self.CurrentLine |
| 161 | 107 if len(curLine) < c: |
| 108 self.CursorPosition += len(curLine) | |
| 109 else: | |
| 110 self.CursorPosition += c | |
| 163 | 111 self.showRow(self.CursorRow) |
| 161 | 112 def GotoPrevLine(self): |
| 162 | 113 c = self.CursorCol - 1 # go to zero based |
| 161 | 114 self.CursorPosition -= c + 1 # line break char! |
| 115 curLine = self.CurrentLine | |
| 116 if len(curLine) > c: | |
| 117 self.CursorPosition -= len(curLine) - c | |
| 163 | 118 self.showRow(self.CursorRow) |
| 160 | 119 def paintEvent(self, event): |
| 120 # Helper variables: | |
| 121 er = event.rect() | |
| 122 chw, chh = self.charWidth, self.charHeight | |
| 123 painter = QPainter(self) | |
| 124 # Background: | |
| 125 painter.fillRect(er, self.palette().color(QPalette.Base)) | |
| 162 | 126 painter.fillRect(QRect(self.xposLNA, er.top(), 4 * chw, er.bottom() + 1), Qt.gray) |
| 127 errorPen = QPen(Qt.red, 3) | |
| 160 | 128 # first and last row: |
| 161 | 129 row1 = max(int(er.top() / chh) - 1, 1) |
| 130 row2 = max(int(er.bottom() / chh) + 1, 1) | |
| 160 | 131 # Draw contents: |
| 163 | 132 ypos = row1 * chh - self.charDescent |
| 133 curRow = self.CursorRow | |
| 134 ydt = -chh + self.charDescent | |
| 160 | 135 for row in range(row1, row2 + 1): |
| 163 | 136 if curRow == row: |
| 137 painter.fillRect(self.xposTXT, ypos + ydt, er.width(), chh, Qt.yellow) | |
| 138 # cursor | |
| 139 if self.blinkcursor: | |
| 140 cursorX = self.CursorCol * self.charWidth + self.xposTXT - self.charWidth | |
| 141 cursorY = ypos + ydt | |
| 142 painter.fillRect(cursorX, cursorY, 2, chh, Qt.black) | |
| 160 | 143 painter.setPen(Qt.black) |
| 162 | 144 painter.drawText(self.xposLNA, ypos, '{0}'.format(row)) |
| 160 | 145 xpos = self.xposTXT |
| 161 | 146 painter.drawText(xpos, ypos, self.getRow(row)) |
| 163 | 147 curErrors = [e for e in self.errorlist if e.loc.row == row] |
| 148 for e in curErrors: | |
| 149 painter.drawPixmap(self.xposERR, ypos + ydt, self.errorPixmap) | |
| 162 | 150 painter.setPen(errorPen) |
| 163 | 151 x = self.xposTXT + (e.loc.col - 1) * chw - 2 |
| 152 wt = e.loc.length * chw + 4 | |
| 167 | 153 dy = self.charDescent |
| 154 painter.drawLine(x, ypos + dy, x + wt, ypos + dy) | |
| 155 #painter.drawRoundedRect(x, ypos + ydt, wt, chh, 7, 7) | |
| 163 | 156 # print error balloon |
| 167 | 157 #painter.drawText(x, ypos + chh, e.msg) |
| 158 #if len(curErrors) > 0: | |
| 159 # ypos += chh | |
| 163 | 160 |
| 161 ypos += chh | |
| 160 | 162 def keyPressEvent(self, event): |
| 163 if event.matches(QKeySequence.MoveToNextChar): | |
| 164 self.GotoNextChar() | |
| 161 | 165 elif event.matches(QKeySequence.MoveToPreviousChar): |
| 160 | 166 self.GotoPrevChar() |
| 161 | 167 elif event.matches(QKeySequence.MoveToNextLine): |
| 160 | 168 self.GotoNextLine() |
| 161 | 169 elif event.matches(QKeySequence.MoveToPreviousLine): |
| 160 | 170 self.GotoPrevLine() |
| 161 | 171 elif event.matches(QKeySequence.MoveToNextPage): |
| 160 | 172 for i in range(5): |
| 173 self.GotoNextLine() | |
| 161 | 174 elif event.matches(QKeySequence.MoveToPreviousPage): |
| 160 | 175 for i in range(5): |
| 176 self.GotoPrevLine() | |
| 161 | 177 elif event.matches(QKeySequence.MoveToEndOfLine): |
| 160 | 178 self.CursorPosition += len(self.CurrentLine) - self.CursorCol + 1 |
| 161 | 179 elif event.matches(QKeySequence.MoveToStartOfLine): |
| 160 | 180 self.CursorPosition -= self.CursorCol - 1 |
| 161 | 181 elif event.matches(QKeySequence.Delete): |
| 182 self.deleteChar() | |
| 183 elif event.matches(QKeySequence.InsertParagraphSeparator): | |
| 184 self.insertText('\n') | |
| 185 elif event.key() == Qt.Key_Backspace: | |
| 186 self.CursorPosition -= 1 | |
| 187 self.deleteChar() | |
| 188 else: | |
| 189 char = event.text() | |
| 190 if char: | |
| 191 self.insertText(char) | |
| 160 | 192 self.update() |
| 161 | 193 def mousePressEvent(self, event): |
| 194 pos = event.pos() | |
| 195 if pos.x() > self.xposTXT and pos.x(): | |
| 196 c = round((pos.x() - self.xposTXT) / self.charWidth) | |
| 163 | 197 r = int(pos.y() / self.charHeight) + 1 |
| 161 | 198 self.setRowCol(r, c) |
| 160 | 199 def adjust(self): |
| 161 | 200 metrics = self.fontMetrics() |
| 201 self.charHeight = metrics.height() | |
| 202 self.charWidth = metrics.width('x') | |
| 203 self.charDescent = metrics.descent() | |
| 162 | 204 self.xposERR = GAP |
| 205 self.xposLNA = self.xposERR + GAP + self.errorPixmap.width() | |
| 206 self.xposTXT = self.xposLNA + 4 * self.charWidth + GAP | |
| 160 | 207 self.xposEnd = self.xposTXT + self.charWidth * 80 |
| 208 self.setMinimumWidth(self.xposEnd) | |
| 209 txt = self.src.split('\n') | |
| 210 self.setMinimumHeight(self.charHeight * len(txt)) | |
| 211 self.update() | |
| 212 | |
| 213 class CodeEdit(QScrollArea): | |
| 214 def __init__(self): | |
| 215 super().__init__() | |
| 216 self.ic = InnerCode(self) | |
| 162 | 217 self.textChanged = self.ic.textChanged |
| 160 | 218 self.setWidget(self.ic) |
| 219 self.setWidgetResizable(True) | |
| 220 self.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn) | |
| 221 self.setFocusPolicy(Qt.NoFocus) | |
| 163 | 222 self.showRow = self.ic.showRow |
| 223 self.setRowCol = self.ic.setRowCol | |
| 160 | 224 Source = property(lambda s: s.ic.getSource(), lambda s, v: s.ic.setSource(v)) |
| 162 | 225 def setErrors(self, el): |
| 226 self.ic.setErrors(el) | |
| 167 | 227 def setFocus(self): |
| 228 self.ic.setFocus() | |
| 160 | 229 |
| 230 if __name__ == '__main__': | |
| 231 app = QApplication(sys.argv) | |
| 232 ce = CodeEdit() | |
| 233 ce.show() | |
| 234 src = ''.join(inspect.getsourcelines(InnerCode)[0]) | |
| 235 ce.Source = src | |
| 162 | 236 print(ce.Source) |
| 161 | 237 ce.resize(600, 800) |
| 160 | 238 app.exec() |
| 239 |