|
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
|
|
|
20 self.setFont(QFont('Courier', 16))
|
|
|
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
|
