From be631afee5f67e76d96c2e83d4a6151b9283163c Mon Sep 17 00:00:00 2001
From: Marco Pesenti Gritti <marco@localhost.localdomain>
Date: Fri, 5 Jan 2007 12:57:42 +0100
Subject: [PATCH] Comment out .5 keys for now, they break stuff and don't work
 on the keyboard.

---
 shell/view/Shell.py | 20 ++++++++++++--------
 1 file changed, 12 insertions(+), 8 deletions(-)

diff --git a/shell/view/Shell.py b/shell/view/Shell.py
index 36d0cc2d..d57f5301 100644
--- a/shell/view/Shell.py
+++ b/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