X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgtkMenu.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgtkMenu.ml;h=0000000000000000000000000000000000000000;hp=2f1eb30f01ca381a36de6a8163df00fdd709994b;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8 diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gtkMenu.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gtkMenu.ml deleted file mode 100644 index 2f1eb30f0..000000000 --- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gtkMenu.ml +++ /dev/null @@ -1,144 +0,0 @@ -(* $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