Désactiver PDF.js dans Firefox

La version 18 de Firefox pointe le bout de son nez et déjà le canal beta adopte la version 19.

Une des nouveautés de cette version (la 19 donc) est l'activation par défaut du plugin PDF développé en Javascript par mozilla : PDF.js

Si ce plugin est très utile (les novices n'auront plus à installer l'infâme usine à gaz qu'est Adobe Reader) il a aussi un support encore trop limité et ne permet pas de lire au mieux tous les PDFs.

Manque de bol, son activation dans Firefox est fait de manière que je qualifierai de douteuse. En effet, il ne lui importe pas que l'utilisateur ait déjà un plugin PDF actif et en soit satisfait, dès le premier lancement, PDF.js prend le dessus.

On serait tenté d'aller jeter un œil dans les modules complémentaires, onglet « plugins » pour le désactiver mais il n'y apparaît pas.

En cherchant un peu, on trouve une option pdfjs.disabled : false dans about:config, quand on la passe à true et qu'on redémarre Firefox, le plugin est bien désactivé mais la seule option qu'il reste est de télécharger le PDF alors que nous voulons l'ouvrir dans le navigateur.

Il faut chercher encore un peu l'option plugin.disable_full_page_plugin_for_types : application/pdf, la supprimer et redémarrer Firefox pour qu'enfin, notre plugin PDF préféré puisse agir à nouveau.

Bien sûr ce n'est encore qu'une Beta, espérons que Mozilla trouve un moyen de rendre la désactivation de PDF.js plus accessible. (Même si ça se résume à écrire la doc pour le faire…)

TL;DR;

1. Taper about:config dans la barre d'adresse
2. Chercher pdfjs.disabled et le passer à true
3. Chercher plugin.disable_full_page_plugin_for_types et supprimer application/pdf
4. Redémarrer Firefox