module GButton:sig
..end
A widget that creates a signal when clicked on
:[> Gtk.button ] Gtk.obj ->
object
..end
:[> Gtk.button ] Gtk.obj ->
object
..end
:Gtk.button Gtk.obj ->
object
..end
A widget that creates a signal when clicked on
?label:string ->
?use_mnemonic:bool ->
?stock:GtkStock.id ->
?relief:Gtk.Tags.relief_style ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> button
: :[> Gtk.toggle_button ] Gtk.obj ->
object
..end
:[> Gtk.toggle_button ] Gtk.obj ->
object
..end
Create buttons which retain their state
?label:string ->
?use_mnemonic:bool ->
?stock:GtkStock.id ->
?relief:Gtk.Tags.relief_style ->
?active:bool ->
?draw_indicator:bool ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> toggle_button
: ?label:string ->
?use_mnemonic:bool ->
?stock:GtkStock.id ->
?relief:Gtk.Tags.relief_style ->
?active:bool ->
?draw_indicator:bool ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> toggle_button
: :Gtk.radio_button Gtk.obj ->
object
..end
A choice from multiple check buttons
?group:Gtk.radio_button Gtk.group ->
?label:string ->
?use_mnemonic:bool ->
?stock:GtkStock.id ->
?relief:Gtk.Tags.relief_style ->
?active:bool ->
?draw_indicator:bool ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> radio_button
: :[> Gtk.color_button ] Gtk.obj ->
object
..end
:[> Gtk.color_button ] Gtk.obj ->
object
..end
?color:Gdk.color ->
?rgba:Gdk.rgba ->
?title:string ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> color_button
: A button to launch a color selection dialog
:[> Gtk.font_button ] Gtk.obj ->
object
..end
:[> Gtk.font_button ] Gtk.obj ->
object
..end
?font_name:string ->
?title:string ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> font_button
: A button to launch a font selection dialog
class type tool_item_o =object
..end
class toolbar_signals :[> Gtk.toolbar ] Gtk.obj ->
object
..end
class toolbar :Gtk.toolbar Gtk.obj ->
object
..end
Create bars of buttons and other widgets
val toolbar : ?orientation:Gtk.Tags.orientation ->
?style:Gtk.Tags.toolbar_style ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> toolbar
class tool_item_skel :[> Gtk.tool_item ] Gtk.obj ->
object
..end
class tool_item :[> Gtk.tool_item ] Gtk.obj ->
object
..end
val tool_item : ?homogeneous:bool ->
?expand:bool ->
?packing:(tool_item_o -> unit) ->
?show:bool -> unit -> tool_item
class separator_tool_item :[> Gtk.separator_tool_item ] Gtk.obj ->
object
..end
val separator_tool_item : ?draw:bool ->
?homogeneous:bool ->
?expand:bool ->
?packing:(tool_item_o -> unit) ->
?show:bool -> unit -> separator_tool_item
:[> Gtk.tool_button ] Gtk.obj ->
object
..end
:[> Gtk.tool_button ] Gtk.obj ->
object
..end
:[> Gtk.tool_button ] Gtk.obj ->
object
..end
?label:string ->
?stock:GtkStock.id ->
?use_underline:bool ->
?homogeneous:bool ->
?expand:bool ->
?packing:(tool_item_o -> unit) ->
?show:bool -> unit -> tool_button
: :[> Gtk.toggle_tool_button ] Gtk.obj ->
object
..end
:[> Gtk.toggle_tool_button ] Gtk.obj ->
object
..end
?active:bool ->
?label:string ->
?stock:GtkStock.id ->
?use_underline:bool ->
?homogeneous:bool ->
?expand:bool ->
?packing:(tool_item_o -> unit) ->
?show:bool -> unit -> toggle_tool_button
: :[> Gtk.radio_tool_button ] Gtk.obj ->
object
..end
?group:radio_tool_button ->
?active:bool ->
?label:string ->
?stock:GtkStock.id ->
?use_underline:bool ->
?homogeneous:bool ->
?expand:bool ->
?packing:(tool_item_o -> unit) ->
?show:bool -> unit -> radio_tool_button
: :[> Gtk.menu_tool_button ] Gtk.obj ->
object
..end
?menu:< as_menu : Gtk.menu Gtk.obj; .. > ->
?label:string ->
?stock:GtkStock.id ->
?use_underline:bool ->
?homogeneous:bool ->
?expand:bool ->
?packing:(tool_item_o -> unit) ->
?show:bool -> unit -> menu_tool_button
: :[> Gtk.link_button ] Gtk.obj ->
object
..end
A button for URL
?label:string ->
string ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> link_button
: