--- /dev/null
+(* $Id$ *)
+
+open Gaux
+open Gtk
+open GtkBase
+
+module MenuItem = struct
+ let cast w : menu_item obj = Object.try_cast w "GtkMenuItem"
+ external coerce : [>`menuitem] obj -> menu_item obj = "%identity"
+ external create : unit -> menu_item obj = "ml_gtk_menu_item_new"
+ external create_with_label : string -> menu_item obj
+ = "ml_gtk_menu_item_new_with_label"
+ external tearoff_create : unit -> menu_item obj
+ = "ml_gtk_tearoff_menu_item_new"
+ let create ?label () =
+ match label with None -> create ()
+ | Some label -> create_with_label label
+ external set_submenu : [>`menuitem] obj -> [>`menu] obj -> unit
+ = "ml_gtk_menu_item_set_submenu"
+ external remove_submenu : [>`menuitem] obj -> unit
+ = "ml_gtk_menu_item_remove_submenu"
+ external configure :
+ [>`menuitem] obj -> show_toggle:bool -> show_indicator:bool -> unit
+ = "ml_gtk_menu_item_configure"
+ external activate : [>`menuitem] obj -> unit
+ = "ml_gtk_menu_item_activate"
+ external right_justify : [>`menuitem] obj -> unit
+ = "ml_gtk_menu_item_right_justify"
+ module Signals = struct
+ open GtkSignal
+ let activate : ([>`menuitem],_) t =
+ { name = "activate"; marshaller = marshal_unit }
+ let activate_item : ([>`menuitem],_) t =
+ { name = "activate_item"; marshaller = marshal_unit }
+ end
+end
+
+module CheckMenuItem = struct
+ let cast w : check_menu_item obj = Object.try_cast w "GtkCheckMenuItem"
+ external coerce : [>`checkmenuitem] obj -> check_menu_item obj = "%identity"
+ external create : unit -> check_menu_item obj = "ml_gtk_check_menu_item_new"
+ external create_with_label : string -> check_menu_item obj
+ = "ml_gtk_check_menu_item_new_with_label"
+ let create ?label () =
+ match label with None -> create ()
+ | Some label -> create_with_label label
+ external set_active : [>`checkmenuitem] obj -> bool -> unit
+ = "ml_gtk_check_menu_item_set_active"
+ external get_active : [>`checkmenuitem] obj -> bool
+ = "ml_gtk_check_menu_item_get_active"
+ external set_show_toggle : [>`checkmenuitem] obj -> bool -> unit
+ = "ml_gtk_check_menu_item_set_show_toggle"
+ let set ?active ?show_toggle w =
+ may active ~f:(set_active w);
+ may show_toggle ~f:(set_show_toggle w)
+ external toggled : [>`checkmenuitem] obj -> unit
+ = "ml_gtk_check_menu_item_toggled"
+ module Signals = struct
+ open GtkSignal
+ let toggled : ([>`checkmenuitem],_) t =
+ { name = "toggled"; marshaller = marshal_unit }
+ end
+end
+
+module RadioMenuItem = struct
+ let cast w : radio_menu_item obj = Object.try_cast w "GtkRadioMenuItem"
+ external create : radio_menu_item group -> radio_menu_item obj
+ = "ml_gtk_radio_menu_item_new"
+ external create_with_label :
+ radio_menu_item group -> string -> radio_menu_item obj
+ = "ml_gtk_radio_menu_item_new_with_label"
+ let create ?(group = None) ?label () =
+ match label with None -> create group
+ | Some label -> create_with_label group label
+ external set_group : [>`radiomenuitem] obj -> radio_menu_item group -> unit
+ = "ml_gtk_radio_menu_item_set_group"
+end
+
+module OptionMenu = struct
+ let cast w : option_menu obj = Object.try_cast w "GtkOptionMenu"
+ external create : unit -> option_menu obj = "ml_gtk_option_menu_new"
+ external get_menu : [>`optionmenu] obj -> menu obj
+ = "ml_gtk_option_menu_get_menu"
+ external set_menu : [>`optionmenu] obj -> [>`menu] obj -> unit
+ = "ml_gtk_option_menu_set_menu"
+ external remove_menu : [>`optionmenu] obj -> unit
+ = "ml_gtk_option_menu_remove_menu"
+ external set_history : [>`optionmenu] obj -> int -> unit
+ = "ml_gtk_option_menu_set_history"
+ let set ?menu ?history w =
+ may menu ~f:(set_menu w);
+ may history ~f:(set_history w)
+end
+
+module MenuShell = struct
+ let cast w : menu_shell obj = Object.try_cast w "GtkMenuShell"
+ external coerce : [>`menushell] obj -> menu_shell obj = "%identity"
+ external append : [>`menushell] obj -> [>`widget] obj -> unit
+ = "ml_gtk_menu_shell_append"
+ external prepend : [>`menushell] obj -> [>`widget] obj -> unit
+ = "ml_gtk_menu_shell_prepend"
+ external insert : [>`menushell] obj -> [>`widget] obj -> pos:int -> unit
+ = "ml_gtk_menu_shell_insert"
+ external deactivate : [>`menushell] obj -> unit
+ = "ml_gtk_menu_shell_deactivate"
+ module Signals = struct
+ open GtkSignal
+ let deactivate : ([>`menushell],_) t =
+ { name = "deactivate"; marshaller = marshal_unit }
+ end
+end
+
+module Menu = struct
+ let cast w : menu obj = Object.try_cast w "GtkMenu"
+ external create : unit -> menu obj = "ml_gtk_menu_new"
+ external popup :
+ [>`menu] obj -> [>`menushell] optobj ->
+ [>`menuitem] optobj -> button:int -> time:int -> unit
+ = "ml_gtk_menu_popup"
+ let popup ?parent_menu ?parent_item w =
+ popup w (Gpointer.optboxed parent_menu) (Gpointer.optboxed parent_item)
+ external popdown : [>`menu] obj -> unit = "ml_gtk_menu_popdown"
+ external get_active : [>`menu] obj -> widget obj= "ml_gtk_menu_get_active"
+ external set_active : [>`menu] obj -> int -> unit = "ml_gtk_menu_set_active"
+ external set_accel_group : [>`menu] obj -> accel_group -> unit
+ = "ml_gtk_menu_set_accel_group"
+ external get_accel_group : [>`menu] obj -> accel_group
+ = "ml_gtk_menu_get_accel_group"
+ external ensure_uline_accel_group : [>`menu] obj -> accel_group
+ = "ml_gtk_menu_ensure_uline_accel_group"
+ external attach_to_widget : [>`menu] obj -> [>`widget] obj -> unit
+ = "ml_gtk_menu_attach_to_widget"
+ external get_attach_widget : [>`menu] obj -> widget obj
+ = "ml_gtk_menu_get_attach_widget"
+ external detach : [>`menu] obj -> unit = "ml_gtk_menu_detach"
+ let set ?active ?accel_group w =
+ may active ~f:(set_active w);
+ may accel_group ~f:(set_accel_group w)
+end
+
+module MenuBar = struct
+ let cast w : menu_bar obj = Object.try_cast w "GtkMenuBar"
+ external create : unit -> menu_bar obj = "ml_gtk_menu_bar_new"
+end
projects / helm.git / blobdiff