GdkWin32: Use double coordinates for mouse events
authorLuca Bacci <luca.bacci982@gmail.com>
Wed, 21 Jun 2023 14:07:55 +0000 (16:07 +0200)
committerLuca Bacci <luca.bacci982@gmail.com>
Wed, 21 Jun 2023 14:07:55 +0000 (16:07 +0200)
commit871685e271760bf3468341fe6bde9fce8090483d
tree79f22ddac8ccd7c84eaad0b2047f7e5bbf411bcd
parent5e9daa9728efed8cf9c434667e13e995a629a3f7
GdkWin32: Use double coordinates for mouse events

Mouse coordinates reported by the system are still integers,
but go sub-pixel when dividing by the window scale factor.
gdk/win32/gdkevents-win32.c