Rodrigo Tobar 67b50d7994 PDFViewer: Let users change image rendering ...

A new checkbox in the toolbar now allows users toggle image rendering. A
corresponding Config option makes this setting non-volatile. To void
clashing with the previous "show_clipping_paths" option when caching a
Page, we now use the RenderingPreferences.hash() and the pair_int_hash
funcitons to compute a unique key into the page cache map for a given
RenderingPreferences and zoom level.

2022-12-10 10:49:03 +01:00

12 KiB

Raw Blame History

View Raw