From 7b07851c8f53d9c772a4d74644e5e02215d03879 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 10 Jan 2011 23:13:45 +0100
Subject: [PATCH] IE fixes

---
 demo/startup.js | 6 +++---
 support/cockpit | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/demo/startup.js b/demo/startup.js
index f8932281..ae3a9e86 100644
--- a/demo/startup.js
+++ b/demo/startup.js
@@ -153,7 +153,7 @@ exports.launch = function(env) {
             env.editor.setSelectionStyle("text");
         }
     };
-    selectEl.onchange = setSelectionStyle;
+    selectEl.onclick = setSelectionStyle;
     setSelectionStyle();
 
 
@@ -161,7 +161,7 @@ exports.launch = function(env) {
     function setHighlightActiveLine() {
         env.editor.setHighlightActiveLine(!!activeEl.checked);
     };
-    activeEl.onchange = setHighlightActiveLine;
+    activeEl.onclick = setHighlightActiveLine;
     setHighlightActiveLine();
 
 
@@ -169,7 +169,7 @@ exports.launch = function(env) {
     function setShowInvisibles() {
         env.editor.setShowInvisibles(!!showHiddenEl.checked);
     };
-    showHiddenEl.onchange = setShowInvisibles;
+    showHiddenEl.onclick = setShowInvisibles;
     setShowInvisibles();
 
 
diff --git a/support/cockpit b/support/cockpit
index ffa7b367..e4202800 160000
--- a/support/cockpit
+++ b/support/cockpit
@@ -1 +1 @@
-Subproject commit ffa7b367d80f882b72eba7fd265950ff0ec00ad2
+Subproject commit e42028001cb457556759df94ec1cd7fe20dde168