# HG changeset patch # User Kim F. Storm # Date 1124364682 0 # Node ID a093a1e65b71830228a5fe685a5326683648b7b5 # Parent ea44aa20fb194bf41814731a96b7fe073f83021d (calc_pixel_width_or_height): Use actual display resolution when available instead of Vdisplay_pixels_per_inch. diff -r ea44aa20fb19 -r a093a1e65b71 src/xdisp.c --- a/src/xdisp.c Thu Aug 18 11:31:04 2005 +0000 +++ b/src/xdisp.c Thu Aug 18 11:31:22 2005 +0000 @@ -17622,6 +17622,15 @@ if (pixels > 0) { double ppi; +#ifdef HAVE_WINDOW_SYSTEM + if (FRAME_WINDOW_P (it->f) + && (ppi = (width_p + ? FRAME_X_DISPLAY_INFO (it->f)->resx + : FRAME_X_DISPLAY_INFO (it->f)->resy), + ppi > 0)) + return OK_PIXELS (ppi / pixels); +#endif + if ((ppi = NUMVAL (Vdisplay_pixels_per_inch), ppi > 0) || (CONSP (Vdisplay_pixels_per_inch) && (ppi = (width_p @@ -23056,7 +23065,7 @@ scroll_margin = 0; DEFVAR_LISP ("display-pixels-per-inch", &Vdisplay_pixels_per_inch, - doc: /* Pixels per inch on current display. + doc: /* Pixels per inch value for non-window system displays. Value is a number or a cons (WIDTH-DPI . HEIGHT-DPI). */); Vdisplay_pixels_per_inch = make_float (72.0);