| 384 | } |
| 385 | |
| 386 | void CodeEditor::resizeEvent(QResizeEvent *event) |
| 387 | { |
| 388 | QPlainTextEdit::resizeEvent(event); |
| 389 | QRect cr = contentsRect(); |
| 390 | mLineNumberArea->setGeometry(QRect(cr.left(), cr.top(), lineNumberAreaWidth(), cr.height())); |
| 391 | } |
| 392 | |
| 393 | void CodeEditor::highlightErrorLine() |
| 394 | { |