From cc74954770403c6aee524ea3480c175930a44cdc Mon Sep 17 00:00:00 2001
From: Marco Pesenti Gritti <marco@localhost.localdomain>
Date: Thu, 14 Dec 2006 17:03:11 +0100
Subject: [PATCH] Remove the terminal keybinding, terminal is now in the devel
 console

---
 shell/view/Shell.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/shell/view/Shell.py b/shell/view/Shell.py
index 9166cef6a2..15f1eee1c1 100644
--- a/shell/view/Shell.py
+++ b/shell/view/Shell.py
@@ -72,7 +72,6 @@ def __init__(self, model):
         # For non-OLPC machines
         self._key_grabber.grab('<shft><alt>F9')
         self._key_grabber.grab('<shft><alt>F10')
-        self._key_grabber.grab('<shft><alt>F11')
 
         self._home_window = HomeWindow(self)
         self._home_window.show()
@@ -111,8 +110,6 @@ def __global_key_pressed_cb(self, grabber, key):
             self._frame.notify_key_press()
         elif key == '<shft><alt>F10':
             self.toggle_chat_visibility()
-        elif key == '<shft><alt>F11':
-            gobject.idle_add(self._open_terminal_cb)
         elif key == '0xDC': # Camera key
             pass
         elif key == '0xE0': # Overlay key