mirrors/zathura
1
0
Fork 0
mirror of https://git.pwmt.org/pwmt/zathura.git synced 2025-01-16 07:55:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Indentation fix

Browse source
This commit is contained in:
Jeremie Knuesel 2018-02-23 15:02:06 +01:00
parent af90d4050d
commit 1e170f0cab
1 changed files with 12 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
zathura/zathura.c
View file

@ -177,19 +177,19 @@ zathura_update_view_ppi(zathura_t* zathura)
} }
#ifdef GDK_WINDOWING_WAYLAND #ifdef GDK_WINDOWING_WAYLAND
/* work around apparend bug in GDK: on Wayland, monitor geometry doesn't /* work around apparent bug in GDK: on Wayland, monitor geometry doesn't
* return values in application pixels as documented, but in device pixels. * return values in application pixels as documented, but in device pixels.
* */ * */
if (GDK_IS_WAYLAND_DISPLAY(display)) if (GDK_IS_WAYLAND_DISPLAY(display))
{ {
girara_debug("on Wayland, correcting PPI for device scale factor"); /* 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);
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);
if (device_factor != 0) { if (device_factor != 0) {
ppi /= device_factor; ppi /= device_factor;
}
} }
}
#endif #endif
girara_debug("monitor width: %d mm, pixels: %d, ppi: %f", width_mm, monitor_geom.width, ppi); girara_debug("monitor width: %d mm, pixels: %d, ppi: %f", width_mm, monitor_geom.width, ppi);