return true;
}
+
+function array_diff(a1, a2)
+{\r
+ var a=[], diff=[];\r
+ for(var i=0;i<a1.length;i++)\r
+ a[a1[i]]=true;\r
+ for(var i=0;i<a2.length;i++)\r
+ if(a[a2[i]]) delete a[a2[i]];\r
+ else a[a2[i]]=true;\r
+ for(var k in a)\r
+ diff.push(k);\r
+ return diff;\r
+}
+
+function array_pair_lookup(x, names, values)
+{
+ for (index in values) {
+ if (values[index] == x) {
+ return names[index];
+ }
+ }
+ return undefined;
+}
+
+function all_options(selector) {
+ el = $(selector);
+ result = [];
+ _.each(el.find("option"), function(option) {
+ result.push($(option).val());
+ });
+ return result;
+}