module DynamicSubmenu:Module for building dynamic submenus. A submenu is a menu included in another menu.sig
..end
val make : ?set_active:(string -> bool) ->
submenu:GMenu.menu ->
menu:GMenu.image_menu_item ->
dynList:(unit -> string list) ->
action:(string -> unit -> unit) -> unit -> unit
dynList
).
Exemple:
make
~submenu:w#MACHINE_ELIM_menu
~menu:w#MACHINE_ELIM
~dynList:machineList
~action:(fun x ->fun _ -> prerr_endline x) ;;