+ let button_specs = [
+ "default", "Refresh";
+ "save", "Save";
+ "add", "Add";
+ "match", "Match";
+ "remove", "Remove";
+ ] in
+ let each_button (action, str) =
+ let req = string_of_request action "" in
+ KP.printf "<span class=\"button\"><a href=\"%s\">%s</a></span>\n" req str
+ in
+ let before_roles p count =
+ let req = string_of_request "toggle" p in
+ KP.printf "<div class=\"roles-head role-color\">\n";
+ KP.printf "<a href=\"%s\">Roles:</a>\n" req;
+ KP.printf "<span class=\"count\">%s</span>\n" count
+ in
+ let each_role p b str =
+ let req = string_of_request "toggle" p in
+ let s = if b then " selected" else "" in
+ KP.printf "<div class=\"role role-color%s\">" s;
+ KP.printf "<a href=\"#%s\">⮞</a> " p;
+ KP.printf "<a href=\"%s\">%s</a>" req str;
+ KP.printf "</div>\n"
+ in
+ let before_role p =
+ KP.printf "<div id=\"%s\" class=\"roles\">\n" p;
+ in
+ let after_role () =
+ KP.printf "</div>\n"
+ in
+ let after_roles () =
+ KP.printf "</div>\n";
+ KP.printf "<div class=\"buttons\">\n";
+ List.iter each_button button_specs;
+ KP.printf "</div>\n"
+ in
+ let stage s =
+ KP.printf "<div class=\"stage role-color\">";
+ KP.printf "Stage: %s" s;
+ KP.printf "</div>\n"
+ in