Mercurial > lcfOS
changeset 161:956f8e5ee48a
Improvements to code edit
author | Windel Bouwman |
---|---|
date | Sat, 09 Mar 2013 15:52:55 +0100 |
parents | 10330be89bc2 |
children | d8c735dc31f9 |
files | python/codeedit.py |
diffstat | 1 files changed, 56 insertions(+), 27 deletions(-) [+] |
line wrap: on
line diff
--- a/python/codeedit.py Sat Mar 09 11:56:48 2013 +0100 +++ b/python/codeedit.py Sat Mar 09 15:52:55 2013 +0100 @@ -34,11 +34,15 @@ self.adjust() def setCursorPosition(self, c): self.cursorPosition = clipVal(c, 0, len(self.src)) - print(self.cursorPosition, self.CursorRow, self.CursorCol) self.cursorX = self.CursorCol * self.charWidth + self.xposTXT - self.charWidth self.cursorY = self.CursorRow * self.charHeight - self.charHeight + self.update() CursorPosition = property(lambda self: self.cursorPosition, setCursorPosition) @property + def Rows(self): + # Make this nicer: + return self.src.split('\n') + @property def CursorRow(self): # TODO: make this nice. txt = self.src[0:self.cursorPosition] @@ -51,8 +55,12 @@ @property def CurrentLine(self): return self.getRow(self.CursorRow) + def setRowCol(self, r, c): + prevRows = self.Rows[:r] + txt = '\n'.join(prevRows) + self.CursorPosition = len(txt) + c def getRow(self, r): - rows = self.src.split('\n') + rows = self.Rows r = r - 1 if r < 0 or r > len(rows) - 1: return '' @@ -63,6 +71,8 @@ def insertText(self, txt): self.setSource(self.src[0:self.CursorPosition] + txt + self.src[self.CursorPosition:]) self.CursorPosition += len(txt) + def deleteChar(self): + self.setSource(self.src[0:self.CursorPosition] + self.src[self.CursorPosition+1:]) def GotoNextChar(self): if self.src[self.CursorPosition] != '\n': self.CursorPosition += 1 @@ -72,11 +82,18 @@ def GotoNextLine(self): curLine = self.CurrentLine c = self.CursorCol - self.CursorPosition += len(curLine) - c + c + 1 # line break char! - def GotoPrevLine(self): + self.CursorPosition += len(curLine) - c + 1 # line break char! curLine = self.CurrentLine + if len(curLine) < c: + self.CursorPosition += len(curLine) + else: + self.CursorPosition += c + def GotoPrevLine(self): c = self.CursorCol - self.CursorPosition -= len(curLine) + c + 1 # line break char! + self.CursorPosition -= c + 1 # line break char! + curLine = self.CurrentLine + if len(curLine) > c: + self.CursorPosition -= len(curLine) - c def paintEvent(self, event): # Helper variables: er = event.rect() @@ -85,51 +102,63 @@ # Background: painter.fillRect(er, self.palette().color(QPalette.Base)) painter.fillRect(QRect(self.xposLNA, er.top(), 8 * chw, er.bottom() + 1), Qt.gray) - painter.fillRect(self.xposTXT, (self.CursorRow - 1) * chh, er.width(), chh, Qt.yellow) + painter.fillRect(er.left(), (self.CursorRow - 1) * chh, er.width(), chh, Qt.yellow) painter.setPen(Qt.gray) # first and last row: - row1 = max(int(er.top() / chh) - 1, 0) - row2 = max(int(er.bottom() / chh) + 1, 0) + row1 = max(int(er.top() / chh) - 1, 1) + row2 = max(int(er.bottom() / chh) + 1, 1) # Draw contents: - txt = self.src.split('\n') - print('update', row1, row2) for row in range(row1, row2 + 1): - ypos = row * chh + ypos = row * chh - self.charDescent painter.setPen(Qt.black) painter.drawText(self.xposLNA, ypos, 'R ={0}'.format(row)) xpos = self.xposTXT - if row - 1 < len(txt): - painter.drawText(xpos, ypos, txt[row - 1]) + painter.drawText(xpos, ypos, self.getRow(row)) # cursor if self.blinkcursor: painter.fillRect(self.cursorX, self.cursorY, 2, chh, Qt.black) def keyPressEvent(self, event): if event.matches(QKeySequence.MoveToNextChar): self.GotoNextChar() - if event.matches(QKeySequence.MoveToPreviousChar): + elif event.matches(QKeySequence.MoveToPreviousChar): self.GotoPrevChar() - if event.matches(QKeySequence.MoveToNextLine): + elif event.matches(QKeySequence.MoveToNextLine): self.GotoNextLine() - if event.matches(QKeySequence.MoveToPreviousLine): + elif event.matches(QKeySequence.MoveToPreviousLine): self.GotoPrevLine() - if event.matches(QKeySequence.MoveToNextPage): + elif event.matches(QKeySequence.MoveToNextPage): for i in range(5): self.GotoNextLine() - if event.matches(QKeySequence.MoveToPreviousPage): + elif event.matches(QKeySequence.MoveToPreviousPage): for i in range(5): self.GotoPrevLine() - if event.matches(QKeySequence.MoveToEndOfLine): + elif event.matches(QKeySequence.MoveToEndOfLine): self.CursorPosition += len(self.CurrentLine) - self.CursorCol + 1 - if event.matches(QKeySequence.MoveToStartOfLine): + elif event.matches(QKeySequence.MoveToStartOfLine): self.CursorPosition -= self.CursorCol - 1 - char = event.text().lower() - if char: - print('ins', char) - self.insertText(char) + elif event.matches(QKeySequence.Delete): + self.deleteChar() + elif event.matches(QKeySequence.InsertParagraphSeparator): + self.insertText('\n') + elif event.key() == Qt.Key_Backspace: + self.CursorPosition -= 1 + self.deleteChar() + else: + char = event.text() + if char: + self.insertText(char) self.update() + def mousePressEvent(self, event): + pos = event.pos() + if pos.x() > self.xposTXT and pos.x(): + c = round((pos.x() - self.xposTXT) / self.charWidth) + r = int(pos.y() / self.charHeight) + self.setRowCol(r, c) def adjust(self): - self.charHeight = self.fontMetrics().height() - self.charWidth = self.fontMetrics().width('x') + metrics = self.fontMetrics() + self.charHeight = metrics.height() + self.charWidth = metrics.width('x') + self.charDescent = metrics.descent() self.xposLNA = GAP self.xposTXT = self.xposLNA + 8 * self.charWidth + GAP self.xposEnd = self.xposTXT + self.charWidth * 80 @@ -154,6 +183,6 @@ ce.show() src = ''.join(inspect.getsourcelines(InnerCode)[0]) ce.Source = src - ce.resize(600, 500) + ce.resize(600, 800) app.exec()