diff -r 000000000000 -r bde4ae8d615e os/graphics/windowing/windowserver/group/wsini_pointershift_wins.ini
Binary file os/graphics/windowing/windowserver/group/wsini_pointershift_wins.ini has changed