X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FwebEngine.ml;h=4e7bb32a834f5ff8e0e6ba4cc3c18fd59eba62cc;hb=2f6f2b7c01d47d23f61dd48d767bcb37aecdcfea;hp=db9d007923edee60d73781dc3b17c1c984ffd80d;hpb=456a157eba1428fd4ec02713e60ac2b653a0e0b0;p=helm.git diff --git a/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml b/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml index db9d00792..4e7bb32a8 100644 --- a/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml +++ b/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml @@ -23,9 +23,10 @@ let open_out () = let author = "λδ development binary: role manager" in let description = "λδ development binary: role manager" in let title = "Role Manager" in - let css = Filename.concat !EG.base_url "css/roles.css" in let icon = Filename.concat !EG.base_url "images/crux_32.ico" in - WS.open_out_html author description title css icon + let css = Filename.concat !EG.base_url "css/roles.css" in + let js = Filename.concat !EG.base_url "js/roles.js" in + WS.open_out_html author description title icon css js let close_out () = WS.close_out_html () @@ -34,6 +35,12 @@ let string_of_request req arg = WS.string_of_request "roles" (["system-"^req, arg], "") let status_out () = + let filter p = + let req = string_of_request "select" p in + let ph = "Filter..." in + KP.printf "" ph req p p + in let button_specs = [ "default", "Refresh"; "save", "Save"; @@ -42,20 +49,21 @@ let status_out () = "remove", "Remove"; ] in let each_button (action, str) = - let req = string_of_request action "" in + let req = string_of_request action "" in KP.printf "
\n" req str in let before_roles p count = let req = string_of_request "select" p in KP.printf "%s | \n" c s req str + KP.printf "\ + %s | \n" c s n k o req str in let after_atoms () = KP.printf "