Retourner au contenu associé (journal : PDF, mais que fait la police)
Posté par Pinaraf le 26 août 2021 à 12:27. En réponse au journal PDF, mais que fait la police. Évalué à 4.
La notion de "assez récente" est très relative. Cela fait 8 ans que Firefox a son afficheur PDF intégré, depuis la version 19... Tu ne le trouveras pas par un locate, il est planqué dans un fichier de ressources.
$ unzip -l /usr/lib/firefox-esr/browser/omni.ja | grep pdf.js 284283 2010年01月01日 00:00 chrome/pdfjs/content/build/pdf.js
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Un petit oubli ?
Posté par Pinaraf . En réponse au journal PDF, mais que fait la police. Évalué à 4.
La notion de "assez récente" est très relative. Cela fait 8 ans que Firefox a son afficheur PDF intégré, depuis la version 19...
Tu ne le trouveras pas par un locate, il est planqué dans un fichier de ressources.
$ unzip -l /usr/lib/firefox-esr/browser/omni.ja | grep pdf.js284283 2010年01月01日 00:00 chrome/pdfjs/content/build/pdf.js