module Menu_manager:Handle the menubar and the toolbar.sig
..end
type
where =
| |
Toolbar of |
(* | Tooltip | *) |
| |
Menubar of |
(* | Label | *) |
| |
ToolMenubar of |
(* | Label and tooltip | *) |
typeentry =
where * (unit -> unit)
class type item =object
..end
class menu_manager :?packing:GObj.widget -> unit -> unit ->
object
..end