#3 Hardcoded hot keys to change to first 9 spaces (file 2 of 2)

[Michael P. Webb]

This patch will allow a user to use the
control-command-# keys (where # = a number from 1 to 9)
to switch to the first 9 displayed spaces.

Basically I just copied the code that deals with
switching between spaces by using the arrow keys along
with the command and control keys.

Don't know if anyone else will find it useful. :)

Spud d:-)