Protects PDFJS.disableXXX == true from change

when preferences read