package frama-c

  1. Overview
  2. Docs

Class Design.protected_menu_factorySource

constraint 'a = GMenu.menu_shell
val flags : Gtk.Tags.accel_flag list
val group : Gtk.accel_group
val m : Gdk.Tags.modifier list
val menu_shell : 'a
method accel_group : Gtk.accel_group
method add_check_item : ?active:bool -> ?key:Gdk.keysym -> ?callback:(bool -> unit) -> string -> check_menu_item
method add_item : ?key:Gdk.keysym -> ?callback:(unit -> unit) -> ?submenu:menu -> string -> menu_item
method add_radio_item : ?group:Gtk.radio_menu_item Gtk.group -> ?active:bool -> ?key:Gdk.keysym -> ?callback:(bool -> unit) -> string -> radio_menu_item
method add_separator : unit -> menu_item
method add_submenu : ?key:Gdk.keysym -> string -> menu
method private bind : ?modi:Gdk.Tags.modifier list -> ?key:Gdk.keysym -> ?callback:(unit -> unit) -> menu_item -> string -> unit
method menu : 'a