mirrors/zathura
1
0
Fork 0
mirror of https://git.pwmt.org/pwmt/zathura.git synced 2024-12-29 14:56:00 +01:00
Code Issues Projects Releases Packages Wiki Activity

Make some variables const

Browse source
This commit is contained in:
Sebastian Ramacher 2018-04-11 13:10:42 -04:00
parent 4223464db6
commit cb1cab71c8
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
zathura/zathura.c
View file

@ -163,7 +163,7 @@ zathura_update_view_ppi(zathura_t* zathura)
} }
/* physical width of monitor */ /* physical width of monitor */
int width_mm = gdk_monitor_get_width_mm(monitor); const int width_mm = gdk_monitor_get_width_mm(monitor);
/* size of monitor in pixels */ /* size of monitor in pixels */
GdkRectangle monitor_geom; GdkRectangle monitor_geom;
@ -184,7 +184,7 @@ zathura_update_view_ppi(zathura_t* zathura)
{ {
/* not using the cached value for the scale factor here to avoid issues /* not using the cached value for the scale factor here to avoid issues
* if this function is called before the cached value is updated */ * if this function is called before the cached value is updated */
int device_factor = gtk_widget_get_scale_factor(zathura->ui.session->gtk.view); const int device_factor = gtk_widget_get_scale_factor(zathura->ui.session->gtk.view);
girara_debug("on Wayland, correcting PPI for device scale factor = %d", device_factor); girara_debug("on Wayland, correcting PPI for device scale factor = %d", device_factor);
if (device_factor != 0) { if (device_factor != 0) {
ppi /= device_factor; ppi /= device_factor;
@ -192,7 +192,7 @@ zathura_update_view_ppi(zathura_t* zathura)
} }
#endif #endif
double current_ppi = zathura_document_get_viewport_ppi(zathura->document); const double current_ppi = zathura_document_get_viewport_ppi(zathura->document);
if (fabs(ppi - current_ppi) > DBL_EPSILON) { if (fabs(ppi - current_ppi) > DBL_EPSILON) {
girara_debug("monitor width: %d mm, pixels: %d, ppi: %0.2f", width_mm, monitor_geom.width, ppi); girara_debug("monitor width: %d mm, pixels: %d, ppi: %0.2f", width_mm, monitor_geom.width, ppi);
zathura_document_set_viewport_ppi(zathura->document, ppi); zathura_document_set_viewport_ppi(zathura->document, ppi);