1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-05-31 22:18:12 +00:00

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.
This commit is contained in:
Rodrigo Tobar 2022-11-25 02:11:06 +08:00 committed by Andreas Kling
parent adc45635e9
commit 67b50d7994
4 changed files with 17 additions and 1 deletions

View file

@ -63,6 +63,8 @@ public:
void set_page_view_mode(PageViewMode);
bool show_clipping_paths() const { return m_rendering_preferences.show_clipping_paths; }
void set_show_clipping_paths(bool);
bool show_images() const { return m_rendering_preferences.show_images; }
void set_show_images(bool);
protected:
PDFViewer();