From b9266a1339c6539dc13b89a7183f33bd7828501c Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 26 Sep 2011 08:27:22 +0000
Subject: [PATCH] fix command keys in Opera. fix #431

---
 lib/ace/keyboard/textinput.js | 9 +++++----
 support/pilot                 | 2 +-
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/lib/ace/keyboard/textinput.js b/lib/ace/keyboard/textinput.js
index fc465db6..0f924963 100644
--- a/lib/ace/keyboard/textinput.js
+++ b/lib/ace/keyboard/textinput.js
@@ -47,7 +47,8 @@ var TextInput = function(parentNode, host) {
 
     var text = dom.createElement("textarea");
     if (useragent.isTouchPad)
-    	text.setAttribute('x-palm-disable-auto-cap',true);
+    	text.setAttribute("x-palm-disable-auto-cap", true);
+        
     text.style.left = "-10000px";
     parentNode.appendChild(text);
 
@@ -63,7 +64,7 @@ var TextInput = function(parentNode, host) {
         try {
             text.select();
         } catch (e) {}
-    };
+    }
 
     function sendText(valueToSend) {
         if (!copied) {
@@ -159,10 +160,10 @@ var TextInput = function(parentNode, host) {
                 setTimeout(onCompositionEnd, 0);
             if ((text.value.charCodeAt(0)|0) < 129) {
                 return;
-            };
+            }
             inCompostion ? onCompositionUpdate() : onCompositionStart();
         });
-    };
+    }
     
     if ("onpropertychange" in text && !("oninput" in text))
         event.addListener(text, "propertychange", onPropertyChange);
diff --git a/support/pilot b/support/pilot
index 3fdfcc07..e6042025 160000
--- a/support/pilot
+++ b/support/pilot
@@ -1 +1 @@
-Subproject commit 3fdfcc071929aa96dff4f2d710dce10cda164fa7
+Subproject commit e6042025584ad40caa7adcce3cbd2cee62007449