Adjust getMouse so that it works with arbitrary aspect windows (for GHCJS)
Adjust getMouse so that it works with arbitrary aspect windows (for GHCJS)

alphalambda/codeworld,alphalambda/codeworld,google/codeworld,google/codeworld,alphalambda/codeworld,google/codeworld