update in binararies for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / webEngine.ml

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml b/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml
index 15487a8e4775a6fa3882aedeb10804006a6c3d0f..4e7bb32a834f5ff8e0e6ba4cc3c18fd59eba62cc 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml
@@ -39,7 +39,7 @@ let status_out () =
     let req = string_of_request "select" p in
     let ph = "Filter..." in
     KP.printf "<input class=\"filter\" type=\"text\" autocomplete=\"on\" \
-      placeholder=%S onkeyup=\"filter('%s','%s');\" id=\"f.%s\"\n/>" ph req p p
+      placeholder=%S oninput=\"filter('%s','%s');\" id=\"f.%s\"\n/>" ph req p p
   in
   let button_specs = [
     "default", "Refresh";