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