X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaGtkMisc.mli;h=993dff4c37c0f74b82dace32a85b8c117b7d70c1;hb=f7759f86b755f4f7dc2b23edd52ed4d2e5c028fe;hp=23f820f86b21208b346f57534e41dab6289b6fc7;hpb=de9a83f286eee12117fb478ea2db18f7faebac9a;p=helm.git

diff --git a/helm/matita/matitaGtkMisc.mli b/helm/matita/matitaGtkMisc.mli
index 23f820f86..993dff4c3 100644
--- a/helm/matita/matitaGtkMisc.mli
+++ b/helm/matita/matitaGtkMisc.mli
@@ -39,6 +39,11 @@ val add_key_binding: Gdk.keysym -> (unit -> 'a) -> GBin.event_box -> unit
   * value *)
 val connect_button: #GButton.button -> (unit -> unit) -> unit
 
+
+(** Connect a callback to the toggled signal of a button, ignoring its return
+  * value *)
+val connect_toggle_button: #GButton.toggle_button -> (unit -> unit) -> unit
+
 (** Like connect_button above, but connects a callback to the activate signal of
   * a menu item *)
 val connect_menu_item: #GMenu.menu_item -> (unit -> unit) -> unit