3 ms·

The adblock-related thing pushed me to Firefox, and I've been using it for about a month. The only problems I have are regarding PDF files: 1) Dark mode (via

The adblock-related thing pushed me to Firefox, and I've been using it for about a month. The only problems I have are regarding PDF files: 1) Dark mode (via dark reader) won't work on PDFs. 2) The Print-to-file (Ctrl + P) save location defaults to "~/mozilla.pdf" and there seems to be no option in preferences to change this default (titles often are multi-word long and copy pasting is a huge pain. Chrome just picks up the title of the webpage and the default downloads directory as the location, which IMO is the sensible thing to do.) In my experience, Chrome is really better at handling PDFs (even better than the native reader, Okular, in terms of fine-grained zooming, dark theming(again via the Dark Reader extension.)) and I'm mulling over switching back, because I use pdfs a lot. (As for other stuff though, like lagginess, I don't find any noticeable difference.)

nashashmi 7y ago
I did the same. Pdfs are probably the easiest thing to switch. If you download a pdf reader, you can switch PDF renderer easily. Firefox supports browser plug in viewers where Chrome does not. And Firefox was the first browser to use js to render PDF. A complete miracle really.
- tapland 7y ago
  We generated a few PDFs at work last week which break in Firefox default viewwe, but that we can't reproduce anywhere else =/
  - rebelwebmaster 7y ago
    If it's not something sensitive, try filing a bug and attaching the PDF to it? https://bugzilla.mozilla.org/enter_bug.cgi?product=Firefox&component=PDF%20Viewer https://bugzilla.mozilla.org/enter_bug.cgi?product=Firefox&c...
    - phonon 7y ago
      Better to go upstream https://github.com/mozilla/pdf.js/issues https://github.com/mozilla/pdf.js/issues
dgellow 7y ago
Interestingly enough, Windows 10 replaced the pdf reader by Edge (which is based on Chrome’s engine), and the experience is really neat.
- kevingadd 7y ago
  The version of Edge that pops up to read PDFs is not Chrome-based, as far as I know. Chrome-based Edge is basically brand new.
dtroode 7y ago
Yes. Have the problems with the PDF too

nashashmi 7y ago

I did the same. Pdfs are probably the easiest thing to switch. If you download a pdf reader, you can switch PDF renderer easily. Firefox supports browser plug in viewers where Chrome does not. And Firefox was the first browser to use js to render PDF. A complete miracle really.

tapland 7y ago
We generated a few PDFs at work last week which break in Firefox default viewwe, but that we can't reproduce anywhere else =/
- rebelwebmaster 7y ago
  If it's not something sensitive, try filing a bug and attaching the PDF to it? https://bugzilla.mozilla.org/enter_bug.cgi?product=Firefox&component=PDF%20Viewer https://bugzilla.mozilla.org/enter_bug.cgi?product=Firefox&c...
  - phonon 7y ago
    Better to go upstream https://github.com/mozilla/pdf.js/issues https://github.com/mozilla/pdf.js/issues

dgellow 7y ago

Interestingly enough, Windows 10 replaced the pdf reader by Edge (which is based on Chrome’s engine), and the experience is really neat.

kevingadd 7y ago
The version of Edge that pops up to read PDFs is not Chrome-based, as far as I know. Chrome-based Edge is basically brand new.

dtroode 7y ago

Yes. Have the problems with the PDF too