Gtk.radio_button Gtk.obj ->
object
val obj : Gtk.radio_button Gtk.obj
method active : bool
method add : GObj.widget -> unit
method all_children : GObj.widget list
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method child : GObj.widget
method children : GObj.widget list
method clicked : unit -> unit
method coerce : GObj.widget
method connect : toggle_button_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method focus : GContainer.focus
method get_oid : int
method grab_default : unit -> unit
method group : Gtk.radio_button Gtk.group
method label : string
method misc : GObj.misc_ops
method relief : Gtk.Tags.relief_style
method remove : GObj.widget -> unit
method resize_mode : Gtk.Tags.resize_mode
method set_active : bool -> unit
method set_border_width : int -> unit
method set_draw_indicator : bool -> unit
method set_group : Gtk.radio_button Gtk.group -> unit
method set_label : string -> unit
method set_relief : Gtk.Tags.relief_style -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_use_stock : bool -> unit
method set_use_underline : bool -> unit
method use_stock : bool
method use_underline : bool
end