# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1258926009 18000
# Node ID ca5136105c45c745dcc94a978d198dfc54cb1354
# Parent  8932f855fa858cb1a2aee948d113e374ce9e25f3
Get dynamic <select> working in IE

diff -r 8932f855fa85 -r ca5136105c45 lib/js/urweb.js
--- a/lib/js/urweb.js	Sun Nov 22 15:30:15 2009 -0500
+++ b/lib/js/urweb.js	Sun Nov 22 16:40:09 2009 -0500
@@ -445,8 +445,7 @@
   populate(x);
 }
 
-function input(t, s, recreate, type) {
-  var x = document.createElement(t);
+function input(x, s, recreate, type) {
   if (type) x.type = type;
   x.dead = false;
   x.signal = ss(s);
@@ -459,7 +458,8 @@
 }
 
 function inp(s) {
-  var x = input("input", s, function(x) { return function(v) { if (x.value != v) x.value = v; }; });
+  var x = input(document.createElement("input"), s,
+        function(x) { return function(v) { if (x.value != v) x.value = v; }; });
   x.value = s.data;
   x.onkeyup = function() { sv(s, x.value) };
 
@@ -467,8 +467,9 @@
 }
 
 function sel(s, content) {
-  var x = input("select", s, function(x) { return function(v) { if (x.value != v) x.value = v; }; });
-  x.innerHTML = content;
+  var dummy = document.createElement("span");
+  dummy.innerHTML = "<select>" + content + "</select>";
+  var x = input(dummy.firstChild, s, function(x) { return function(v) { if (x.value != v) x.value = v; }; });
   x.value = s.data;
   if (x.value != s.data)
     sv(s, x.value);
@@ -478,7 +479,8 @@
 }
 
 function chk(s) {
-  var x = input("input", s, function(x) { return function(v) { if (x.checked != v) x.checked = v; }; }, "checkbox");
+  var x = input(document.createElement("input"), s,
+        function(x) { return function(v) { if (x.checked != v) x.checked = v; }; }, "checkbox");
   x.checked = s.data;
   x.onchange = function() { sv(s, x.checked) };