Editable Widgets
class editable_signals : [> Gtk.editable ] Gtk.obj -> object ... end@gtkdoc gtk GtkEditable
class editable : [> Gtk.editable ] as 'a Gtk.obj -> object ... endInterface for text-editing widgets @gtkdoc gtk GtkEditable
class entry_completion_signals : [> `entrycompletion ] Gtk.obj -> object ... endclass entry_completion : [> `entrycompletion | `celllayout ] as 'a Gtk.obj -> object ... endclass entry_signals : [> Gtk.entry ] Gtk.obj -> object ... end@gtkdoc gtk GtkEntry
A single line text entry field @gtkdoc gtk GtkEntry
val entry :
?text:string ->
?visibility:bool ->
?max_length:int ->
?activates_default:bool ->
?editable:bool ->
?has_frame:bool ->
?width_chars:int ->
?xalign:float ->
?placeholder_text:string ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
entry@gtkdoc gtk GtkEntry
val entry_completion :
?model:GTree.model ->
?minimum_key_length:int ->
?entry:entry ->
unit ->
entry_completion@gtkdoc gtk GtkEntryCompletion
class spin_button_signals : [> Gtk.spin_button ] Gtk.obj -> object ... end@gtkdoc gtk GtkSpinButton
class spin_button : Gtk.spin_button Gtk.obj -> object ... endRetrieve an integer or floating-point number from the user @gtkdoc gtk GtkSpinButton
val spin_button :
?adjustment:GData.adjustment ->
?rate:float ->
?digits:int ->
?numeric:bool ->
?snap_to_ticks:bool ->
?update_policy:[ `ALWAYS | `IF_VALID ] ->
?value:float ->
?wrap:bool ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
spin_button@gtkdoc gtk GtkSpinButton
class combo_box_signals : [> Gtk.combo_box ] Gtk.obj -> object ... endclass combo_box : [> Gtk.combo_box ] as 'a Gtk.obj -> object ... endval combo_box :
?model:GTree.model ->
?active:int ->
?add_tearoffs:bool ->
?focus_on_click:bool ->
?entry_text_column:int ->
?has_entry:bool ->
?has_frame:bool ->
?wrap_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
combo_box@gtkdoc gtk GtkComboBox
class combo_box_entry : [> Gtk.combo_box ] as 'a Gtk.obj -> object ... endval combo_box_entry :
?model:GTree.model ->
?text_column:string GTree.column ->
?active:int ->
?add_tearoffs:bool ->
?focus_on_click:bool ->
?has_frame:bool ->
?wrap_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
combo_box_entrytype 'a text_combo = 'a * (GTree.list_store * string GTree.column) constraint 'a = combo_boxval text_combo_add : 'a text_combo -> string -> unitval text_combo_get_active : 'a text_combo -> string optionval combo_box_text :
?strings:string list ->
?use_markup:bool ->
?active:int ->
?add_tearoffs:bool ->
?focus_on_click:bool ->
?entry_text_column:int ->
?has_entry:bool ->
?has_frame:bool ->
?wrap_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
combo_box text_comboA convenience function for creating simple GEdit.combo_box. Creates a simple GTree.list_store with a single text column, adds strings in it, creates a GTree.cell_renderer_text and connects it with the model.
@gtkdoc gtk GtkComboBox
val combo_box_entry_text :
?strings:string list ->
?active:int ->
?add_tearoffs:bool ->
?focus_on_click:bool ->
?has_frame:bool ->
?wrap_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
combo_box_entry text_combo