Vboxvideo ignores DPI settings of the X11-server -> fixed in 5.1.2, possibly earlier

[vminko]

Steps to reproduce:

1. Configure the X11-server to use a special DPI setting via the "-dpi" parameter. For example, on Gentoo you need to edit /etc/X11/xinit/xserverrc:

exec /usr/bin/X -nolisten tcp -dpi 144 "$@"

2. Start X11-server and check the actual DPI:

xdpyinfo | grep resolution

Expected result: The actual DPI setting is 144x144 dots per inch

Actual result: The actual DPI setting is 96x96 dots per inch

Problem description: The DPI=96 is hard-coded in the vboxvideo driver (in vboxvideo.c). It's better to keep the DPI value given by the X11-server. The proposed fix to this bug is attached.

[vminko]

Proposed fix.

[michael]

If you would like things to move a little faster, could you please check whether this still affects version 5.1? Note that there are two drivers there: an X.Org one and a kernel one. The X.Org one is now the legacy driver, though this sort of fix would still be fine if we can be sure there are no side effects.

[vminko]

According to the source code, this bug is already fixed in the X.Org driver from version 5.1.2.

[michael]

Thank you for checking. I will close then.