| 24 | } |
| 25 | |
| 26 | void DataWidget::clearAllHighlights() { |
| 27 | disconnect(this, &DataWidget::cursorPositionChanged, this, &DataWidget::highlightCurrentLine); |
| 28 | while (!highlights.isEmpty()) { |
| 29 | highlights.removeFirst(); |
| 30 | } |
| 31 | |
| 32 | highlights.clear(); |
| 33 | updateAllHighlights(); |
| 34 | delete highlighter; |
| 35 | highlighter = new AsmHighlighter(document()); |
| 36 | } |
| 37 | |
| 38 | void DataWidget::updateAllHighlights() { |
| 39 | setExtraSelections(highlights); |