about: pdf.js

[Google weiß alles]

Ja, das Problem kenne ich, PDF.js ist einfach grottig. Gut, dass sie das abschaffen werden; aber du kannst es auch von Hand ausschalten.

Oha, Mozilla möchte das wieder entfernen?

Es klang wie eine gute Idee und die kleinen, stark textlastigen, sauber aus LaTeX erzeugten PDF-Dokumente konnten auf den starken Entwicklungssystemen echt prima dargestellt werden, scrollten flüssig und sahen gut aus. Doch dann kamen alle diese ningeligen Nutzer mit ihren 2-4-kernigen Möhren und öffneten aus Dateisicht gigantisch große 3-Seiten-PDF, die mit merkwürdigen Druckertreibern erstellt wurden und den Text als Graphik enthalten.