Gtk.radio_menu_item Gtk.obj ->
object
  val obj : Gtk.radio_menu_item Gtk.obj
  method activate : unit -> unit
  method active : bool
  method add : GObj.widget -> unit
  method add_accelerator :
    group:Gtk.accel_group ->
    ?modi:Gdk.Tags.modifier list ->
    ?flags:Gtk.Tags.accel_flag list -> Gdk.keysym -> unit
  method all_children : GObj.widget list
  method as_item : Gtk.menu_item Gtk.obj
  method as_widget : Gtk.widget Gtk.obj
  method border_width : int
  method children : GObj.widget list
  method coerce : GObj.widget
  method connect : check_menu_item_signals
  method deselect : unit -> unit
  method destroy : unit -> unit
  method drag : GObj.drag_ops
  method event : GObj.event_ops
  method focus : GContainer.focus
  method get_oid : int
  method get_submenu : GObj.widget option
  method group : Gtk.radio_menu_item Gtk.group
  method inconsistent : bool
  method misc : GObj.misc_ops
  method remove : GObj.widget -> unit
  method remove_submenu : unit -> unit
  method resize_mode : Gtk.Tags.resize_mode
  method right_justified : bool
  method select : unit -> unit
  method set_active : bool -> unit
  method set_border_width : int -> unit
  method set_group : Gtk.radio_menu_item Gtk.group -> unit
  method set_inconsistent : bool -> unit
  method set_resize_mode : Gtk.Tags.resize_mode -> unit
  method set_right_justified : bool -> unit
  method set_show_toggle : bool -> unit
  method set_submenu : menu -> unit
  method toggled : unit -> unit
end