X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcontent_pres%2Fbox.mli;h=d2ca17bddd15128a15c2e7146e4e4d7f58b33585;hb=b67ea513f11d1ef3d9fd228c64913561424662e2;hp=56c0869640fd72ed4c9ea397506ba6a639bac252;hpb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;p=helm.git

diff --git a/helm/ocaml/content_pres/box.mli b/helm/ocaml/content_pres/box.mli
index 56c086964..d2ca17bdd 100644
--- a/helm/ocaml/content_pres/box.mli
+++ b/helm/ocaml/content_pres/box.mli
@@ -73,6 +73,7 @@ val b_object: 'expr -> 'expr box
 val b_indent: 'expr box -> 'expr box
 val b_space: 'expr box
 val b_kw: string -> 'expr box
+val b_toggle: 'expr box list -> 'expr box (** action which toggle among items *)
 
 val pp_attr: attr -> string