| 27 | } |
| 28 | |
| 29 | void BasicEditor::updateDarkMode() |
| 30 | { |
| 31 | if (highlighter != nullptr) { |
| 32 | delete highlighter; |
| 33 | highlighter = new BasicHighlighter(document()); |
| 34 | } |
| 35 | } |
| 36 | |
| 37 | void BasicEditor::toggleHighlight() |
| 38 | { |
nothing calls this directly
no outgoing calls
no test coverage detected