helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gMenu.mli

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GObj
   5 open GContainer
   6
   7 class menu_shell_signals : 'b obj ->
   8   object ('a)
   9     inherit container_signals
  10     constraint 'b = [>`menushell|`container|`widget]
  11     val obj : 'b obj
  12     method deactivate : callback:(unit -> unit) -> GtkSignal.id
  13   end
  14
  15 class menu_item_signals : 'b obj ->
  16   object ('a)
  17     inherit item_signals
  18     constraint 'b = [>`menuitem|`container|`item|`widget]
  19     val obj : 'b obj
  20     method activate : callback:(unit -> unit) -> GtkSignal.id
  21   end
  22
  23 class menu_item_skel :
  24   'a obj ->
  25   object
  26     inherit container
  27     constraint 'a = [>`widget|`container|`menuitem]
  28     val obj : 'a obj
  29     method activate : unit -> unit
  30     method add_accelerator :
  31       group:accel_group ->
  32       ?modi:Gdk.Tags.modifier list ->
  33       ?flags:Tags.accel_flag list -> Gdk.keysym -> unit
  34     method as_item : Gtk.menu_item obj
  35     method configure : show_toggle:bool -> show_indicator:bool -> unit
  36     method remove_submenu : unit -> unit
  37     method right_justify : unit -> unit
  38     method set_submenu : menu -> unit
  39   end
  40 and menu_item : 'a obj ->
  41   object
  42     inherit menu_item_skel
  43     constraint 'a = [>`widget|`container|`item|`menuitem]
  44     val obj : 'a obj
  45     method event : event_ops
  46     method connect : menu_item_signals
  47   end
  48 and menu : Gtk.menu obj ->
  49   object
  50     inherit [menu_item] item_container
  51     val obj : Gtk.menu obj
  52     method add : menu_item -> unit
  53     method event : event_ops
  54     method append : menu_item -> unit
  55     method as_menu : Gtk.menu obj
  56     method children : menu_item list
  57     method connect : menu_shell_signals
  58     method deactivate : unit -> unit
  59     method insert : menu_item -> pos:int -> unit
  60     method popdown : unit -> unit
  61     method popup : button:int -> time:int -> unit
  62     method prepend : menu_item -> unit
  63     method remove : menu_item -> unit
  64     method set_accel_group : accel_group -> unit
  65     method set_border_width : int -> unit
  66     method private wrap : Gtk.widget obj -> menu_item
  67   end
  68
  69 val menu :
  70   ?border_width:int -> ?packing:(menu -> unit) -> ?show:bool -> unit -> menu
  71 val menu_item :
  72   ?label:string ->
  73   ?border_width:int ->
  74   ?width:int ->
  75   ?height:int ->
  76   ?packing:(menu_item -> unit) -> ?show:bool -> unit -> menu_item
  77 val tearoff_item :
  78   ?border_width:int ->
  79   ?width:int ->
  80   ?height:int ->
  81   ?packing:(menu_item -> unit) -> ?show:bool -> unit -> menu_item
  82
  83 class check_menu_item_signals : 'a obj ->
  84   object
  85     inherit menu_item_signals
  86     constraint 'a = [>`checkmenuitem|`container|`item|`menuitem|`widget]
  87     val obj : 'a obj
  88     method toggled : callback:(unit -> unit) -> GtkSignal.id
  89   end
  90
  91 class check_menu_item : 'a obj ->
  92   object
  93     inherit menu_item_skel
  94     constraint 'a = [>`widget|`checkmenuitem|`container|`item|`menuitem]
  95     val obj : 'a obj
  96     method active : bool
  97     method event : event_ops
  98     method connect : check_menu_item_signals
  99     method set_active : bool -> unit
 100     method set_show_toggle : bool -> unit
 101     method toggled : unit -> unit
 102   end
 103 val check_menu_item :
 104   ?label:string ->
 105   ?active:bool ->
 106   ?show_toggle:bool ->
 107   ?border_width:int ->
 108   ?width:int ->
 109   ?height:int ->
 110   ?packing:(menu_item -> unit) -> ?show:bool -> unit -> check_menu_item
 111
 112 class radio_menu_item : Gtk.radio_menu_item obj ->
 113   object
 114     inherit check_menu_item
 115     val obj : Gtk.radio_menu_item obj
 116     method group : Gtk.radio_menu_item group
 117     method set_group : Gtk.radio_menu_item group -> unit
 118   end
 119 val radio_menu_item :
 120   ?group:Gtk.radio_menu_item group ->
 121   ?label:string ->
 122   ?active:bool ->
 123   ?show_toggle:bool ->
 124   ?border_width:int ->
 125   ?width:int ->
 126   ?height:int ->
 127   ?packing:(menu_item -> unit) -> ?show:bool -> unit -> radio_menu_item
 128
 129 class menu_shell : 'a obj ->
 130   object
 131     inherit [menu_item] item_container
 132     constraint 'a = [>`widget|`container|`menushell]
 133     val obj : 'a obj
 134     method event : event_ops
 135     method deactivate : unit -> unit
 136     method connect : menu_shell_signals
 137     method insert : menu_item -> pos:int -> unit
 138     method private wrap : Gtk.widget obj -> menu_item
 139   end
 140
 141 val menu_bar :
 142   ?border_width:int ->
 143   ?width:int ->
 144   ?height:int ->
 145   ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> menu_shell
 146
 147 class option_menu : 'a obj ->
 148   object
 149     inherit GButton.button_skel
 150     constraint 'a = [>`optionmenu|`button|`container|`widget]
 151     val obj : 'a obj
 152     method event : event_ops
 153     method connect : GButton.button_signals
 154     method get_menu : menu
 155     method remove_menu : unit -> unit
 156     method set_history : int -> unit
 157     method set_menu : menu -> unit
 158   end
 159 val option_menu :
 160   ?border_width:int ->
 161   ?width:int ->
 162   ?height:int ->
 163   ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> option_menu
 164
 165 class ['a] factory :
 166   ?accel_group:accel_group ->
 167   ?accel_modi:Gdk.Tags.modifier list ->
 168   ?accel_flags:Tags.accel_flag list ->
 169   'a ->
 170   object
 171     constraint 'a = #menu_shell
 172     val flags : Tags.accel_flag list
 173     val group : accel_group
 174     val m : Gdk.Tags.modifier list
 175     val menu_shell : 'a
 176     method accel_group : accel_group
 177     method add_check_item :
 178       ?active:bool ->
 179       ?key:Gdk.keysym ->
 180       ?callback:(bool -> unit) -> string -> check_menu_item
 181     method add_item :
 182       ?key:Gdk.keysym ->
 183       ?callback:(unit -> unit) ->
 184       ?submenu:menu -> string -> menu_item
 185     method add_radio_item :
 186       ?group:Gtk.radio_menu_item group ->
 187       ?active:bool ->
 188       ?key:Gdk.keysym ->
 189       ?callback:(bool -> unit) -> string -> radio_menu_item
 190     method add_separator : unit -> menu_item
 191     method add_submenu : ?key:Gdk.keysym -> string -> menu
 192     method add_tearoff : unit -> menu_item
 193     method private bind :
 194       ?key:Gdk.keysym -> ?callback:(unit -> unit) -> menu_item -> unit
 195     method menu : 'a
 196   end