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=9fc545b3e3031e1d6590535ce349820ee5485756;hpb=3be6630ba2a592488502b320e85e45b55a099580;p=helm.git diff --git a/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml b/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml index 9fc545b3e..4e7bb32a8 100644 --- a/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml +++ b/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml @@ -20,12 +20,13 @@ module WS = WebLWS let error = ref "" let open_out () = - let author = "λδ development binary: roles manager" in - let description = "λδ development binary: roles manager" in - let title = "Roles Manager" in - let css = Filename.concat !EG.base_url "css/roles.css" in + let author = "λδ development binary: role manager" in + let description = "λδ development binary: role manager" in + let title = "Role Manager" 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,28 +49,32 @@ 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 "