X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGtkMisc.mli;h=d18ff281d7f29e7a82cb0188bc5b7da775c83c86;hb=8aaf525856e25bcd8f355e505fd00f45c62bc18f;hp=5753293304b52e6470561e4771f785d2c4122151;hpb=6e289c07138a9840beff4833b57521593fd732b1;p=helm.git

diff --git a/helm/matita/matitaGtkMisc.mli b/helm/matita/matitaGtkMisc.mli
index 575329330..d18ff281d 100644
--- a/helm/matita/matitaGtkMisc.mli
+++ b/helm/matita/matitaGtkMisc.mli
@@ -35,6 +35,9 @@ val toggle_window_visibility:
 val toggle_widget_visibility:
   widget:GObj.widget -> check:GMenu.check_menu_item -> unit
 
+val toggle_callback:
+  callback:(bool -> unit) -> check:GMenu.check_menu_item -> unit
+  
 val toggle_win:
   ?check:GMenu.check_menu_item -> GWindow.window -> unit -> unit