#111 Hotkey for Desktop 10 missing -- w/fix

There is no hot key / option to set a hot key for
desktop 10. The following needs to be added to the
'defaultHotKeys' table in HotKeyController.m, around
line 105:

[NSMutableDictionary dictionaryWithObjectsAndKeys:
[NSNumber numberWithInt: 29], KEYCODE_KEY,
[NSNumber numberWithInt: NSCommandKeyMask |
NSAlternateKeyMask], MODIFIERS_KEY,
NOTIFICATION_DESKTOP10, NOTIFICATION_KEY,
nil
],