Set buffer to readonly when selection intersects with proven areas.