windowing/windowserver/group/wsini_pointershift_wins.ini
branchNewGraphicsArchitecture
changeset 170 c794569c62b8
parent 149 e375a7921169
child 163 bbf46f59e123