os/graphics/windowing/windowserver/group/wsini_pointershift_wins.ini
changeset 1 260cb5ec6c19