| 745 | |
| 746 | |
| 747 | void CodeEditor::cut() |
| 748 | { |
| 749 | highlighter->copyHighlightedToClipboard(textCursor()); |
| 750 | textCursor().removeSelectedText(); |
| 751 | } |
| 752 | |
| 753 | void CodeEditor::checkFile(const QVector<MiniZincError>& mznErrors) |
| 754 | { |
nothing calls this directly
no test coverage detected