documentHighlightsChanged property

bool documentHighlightsChanged
getter/setter pair

Implementation

bool documentHighlightsChanged = false;