diff -r 57c618273d5c -r bbf46f59e123 windowing/windowserver/group/wsini_pointershift.ini
Binary file windowing/windowserver/group/wsini_pointershift.ini has changed