Dear Maintainer,

I have a HiDPI screen here, of about x1.5 (a DPI of 144). To make the desktop
workable, I'm using a x2 scale on my desktop and scale back to 1.5 using
xrandr, with this command:

    xrandr --output eDP1 --scale 1.5x1.5 --panning 2880x1620

(The --panning parameter is a workaround for another bug in xrandr).

This works, with one problem: the mouse pointer is not scaled with the rest of
the desktop (not using xrandr results in the same pointer size but the rest of
the screen is bigger). A workaround is to set the cursor-size to a lower value
in Cinnamon (e.g. 18 to get a cursor size 24), but that is not a real solution.

This appears to be a bigger problem, also reported outside of Debian [1].

I'm using the DMZ-White cursor theme and the Cinnamon desktop, if that matters.
My system is a Lenovo L450 laptop, with a 1920x1080 screen.


$ xdpyinfo | grep -B 2 resolution
screen #0:
  dimensions:    2880x1620 pixels (760x427 millimeters)
  resolution:    96x96 dots per inch

$ xrdb -query
*customization: -color
Xft.dpi:        192
Xft.antialias:  1
Xft.hinting:    0
Xft.hintstyle:  hintnone
Xft.rgba:       rgb


 [1] http://unix.stackexchange.com/questions/203251/cursor-is-huge-on-ubuntu-
due-to-high-resolution-monitor