Jonas Jenwald 93f4f7a649 Use DEFAULT_SCALE instead of 1.0 as the default value if the scale option isn't specified when initializing PDFPageView
A small piece of cleanup, in order to avoid unnecessarily hardcoding a default value.
2015-11-20 13:30:04 +01:00
..
2015-11-19 10:47:17 -06:00
2015-11-19 10:47:17 -06:00
2015-11-19 11:03:52 -06:00