Mouse coordinates bug now definitely fixed

There was an annoying mouse coordinates bug that is now completely
fixed. It was related with the fact that the on-screen buffer is scaled
to fit the screen resolution without stretching