Protects PDFJS.disableXXX == true from change

... when preferences read