avoid duplicated highlighting ranges that kill ARGB rendering

Merged Christoph Cullmann requested to merge work/avoid_duplicate_highlightings into master

Merge request reports