Ticket #3202: SelectBox.patch

.js

@@ -12 +12 @@
     redisplay: function(id) {
         // Repopulate HTML select box from cache
         var box = document.getElementById(id);
-        box.options.length = 0; // clear all options
+        box.innerHTML = ''; // clear all options
+        var fragment = document.createDocumentFragment();
         for (var i = 0, j = SelectBox.cache[id].length; i < j; i++) {
             var node = SelectBox.cache[id][i];
             if (node.displayed) {
-                box.options[box.options.length] = new Option(node.text, node.value, false, false);
+                fragment.appendChild(new Option(node.text, node.value, false, false));
             }
         }
+        box.appendChild(fragment.cloneNode(true));
     },
     filter: function(id, text) {
         // Redisplay the HTML select box, displaying only the choices containing ALL