Add an AppOptions.setAll method, and use it in PDFViewerApplication._readPreferences#12636
Merged
timvandermeij merged 2 commits intomozilla:masterfrom Nov 18, 2020
