Jonas Jenwald 34957ec8eb Add a BasePreferences.getAll method and use it to fetch all Preferences at once in PDFViewerApplication._readPreferences
Given that *all* Preferences are already fetched in `PDFViewerApplication._readPreferences`, the amount of boilerplate/duplication can be considerably reduced with the addition of a `BasePreferences.getAll` method.
2018-07-25 10:43:36 +02:00
..
2018-05-14 23:10:32 -04:00
2018-04-01 23:20:41 +02:00
2018-05-14 23:10:32 -04:00
2018-05-14 23:10:32 -04:00