forked from qt-creator/qt-creator
TextEditor: Do not use deleted TextMarks.
Task-number: QTCREATORBUG-13136 Change-Id: I12e7d16012bc6118cc5907dd805dedb41414aa52 Reviewed-by: Nikolai Kosjar <nikolai.kosjar@digia.com> Reviewed-by: David Schulz <david.schulz@digia.com>
This commit is contained in:
@@ -603,8 +603,8 @@ void TextDocumentLayout::documentReloaded(TextMarks marks, TextDocument *baseTex
|
||||
mark->updateBlock(block);
|
||||
} else {
|
||||
baseTextDocument->removeMarkFromMarksCache(mark);
|
||||
mark->removedFromEditor();
|
||||
mark->setBaseTextDocument(0);
|
||||
mark->removedFromEditor();
|
||||
}
|
||||
}
|
||||
requestUpdate();
|
||||
|
||||
Reference in New Issue
Block a user