update in binaries for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / roles.js

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/roles.js b/matita/matita/contribs/lambdadelta/bin/roles/roles.js
new file mode 100644 (file)
index 0000000..c93e6d0
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/roles/roles.js
@@ -0,0 +1,11 @@
+function filter(ptr) {
+  var query = document.getElementById('f.'+ptr).value;
+  var cl = document.getElementsByName(ptr);
+  for (i=0;i < cl.length; i++) {
+    if (cl[i].getAttribute('key').search(query) >= 0) {
+      cl[i].classList.remove('hidden')
+    } else {
+      cl[i].classList.add('hidden')
+    }
+  }
+}