Mozilla Firefox integrierten PDF Viewer pdf.js deaktivieren bzw. verhindern

Mit Version 19 hat Mozilla im Firefox ein eigenes Plugin zur Anzeige von PDF-Dokumenten eingeführt – den PDF-Viewer bzw. PDF-Betrachter pdf.js. Plugin ist dabei eigentlich das falsche Wort, denn es handelt sich bei pdf.js nicht um ein Plugin, sondern um einen Javascript-Renderer, der das PDF-Dokument „on the fly“ in HTML und CSS umwandelt und dann im Browser ausgibt. Das funktioniert bei kleineren Dateien mit einfacher Struktur auch leidlich gut. Bei größeren und komplexen Dokumenten geht die Performance aber sehr schnell in die Knie und manchmal steigt der Viewer auch komplett aus. Von der Qualität der Darstellung will ich gar nicht erst anfangen. Wie man den Firefox-Viewer deaktiviert und wie man verhindern kann, dass die eigenen PDF-Dateien damit geöffnet werden, will ich hier kurz erklären. „Mozilla Firefox integrierten PDF Viewer pdf.js deaktivieren bzw. verhindern“ weiterlesen

Opera – eine Einführung in die Mausgesten und ein kleiner Abgesang

Mausgesten sind eines der Features, die dafür verantwortlich sind, dass ich Fan des Opera-Browsers geworden bin. Mittlerweile kann man Mausgesten in jedem Browser zumindest per Extension nachrüsten. Aber als die Gestensteuerung im Jahr 2005 vorgestellt wurde, war das eine Innovation, die mich begeistert hat. „Opera – eine Einführung in die Mausgesten und ein kleiner Abgesang“ weiterlesen