Comment out .5 keys for now, they break stuff and don't work on the keyboard.

shell/view/Shell.py

@@ -90,14 +90,18 @@ class Shell(gobject.GObject):
         self._key_grabber.grab('F10')
         self._key_grabber.grab('F11')
         self._key_grabber.grab('F12')
-        self._key_grabber.grab('F13')
-        self._key_grabber.grab('F14')
-        self._key_grabber.grab('F15')
-        self._key_grabber.grab('F16')
-        self._key_grabber.grab('F17')
-        self._key_grabber.grab('F18')
-        self._key_grabber.grab('F19')
-        self._key_grabber.grab('F20')
+
+	# FIXME these seem to break the emulator and are not
+	# working on the XO keyboard anyway.
+        # self._key_grabber.grab('F13')
+        # self._key_grabber.grab('F14')
+        # self._key_grabber.grab('F15')
+        # self._key_grabber.grab('F16')
+        # self._key_grabber.grab('F17')
+        # self._key_grabber.grab('F18')
+        # self._key_grabber.grab('F19')
+        # self._key_grabber.grab('F20')
+
         self._key_grabber.grab('0xDC') # Camera key
         self._key_grabber.grab('0xE0') # Overlay key
         self._key_grabber.grab('0x93') # Frame key