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=4905661fea43feaa8360a95a66bda04eaaa59937;hpb=59fd7b5ea24e71b47aee069440f140bcccf1292a;p=helm.git diff --git a/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml b/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml index 4905661fe..4e7bb32a8 100644 --- a/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml +++ b/matita/matita/contribs/lambdadelta/bin/roles/webEngine.ml @@ -36,8 +36,10 @@ let string_of_request req arg = let status_out () = let filter p = - KP.printf "" p 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"; @@ -47,21 +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 n k req str + KP.printf "\ + %s | \n" c s n k o req str in let after_atoms () = KP.printf "