Toggle on/off auto-highlighting for PDFs