clearDirtyRegion method
void
clearDirtyRegion()
Implementation
void clearDirtyRegion() {
dirtyRegion = null;
dirtyLine = null;
lineStructureChanged = false;
searchHighlightsChanged = false;
}
void clearDirtyRegion() {
dirtyRegion = null;
dirtyLine = null;
lineStructureChanged = false;
searchHighlightsChanged = false;
}