Module GEdit

module GEdit: sig .. end

Editable Widgets

GtkEditable

class editable_signals : [> Gtk.editable ] Gtk.obj -> object .. end

class editable : [> Gtk.editable ] Gtk.obj -> object .. end

Interface for text-editing widgets


GtkEntry & GtkEntryCompletion

class entry_completion_signals : [> `entrycompletion ] Gtk.obj -> object .. end

class entry_completion : [> `celllayout | `entrycompletion ] Gtk.obj -> object .. end

class entry_signals : [> Gtk.entry ] Gtk.obj -> object .. end

class entry : [> Gtk.entry ] Gtk.obj -> object .. end

A single line text entry field


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
val entry_completion : ?model:#GTree.model ->
?minimum_key_length:int ->
?entry:entry -> unit -> entry_completion
GtkSpinButton
class spin_button_signals : [> Gtk.spin_button ] Gtk.obj -> object .. end

class spin_button : Gtk.spin_button Gtk.obj -> object .. end

Retrieve an integer or floating-point number from the user


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

GtkComboBox

class combo_box_signals : [> Gtk.combo_box ] Gtk.obj -> object .. end

class combo_box : [> Gtk.combo_box ] Gtk.obj -> object .. end

val 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
Convenience API simulating Gtk+ 2
class combo_box_entry : [> Gtk.combo_box ] Gtk.obj -> object .. end

val 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_entry
Convenience API for text-only ComboBoxes
type #combo_box text_combo = (#combo_box as 'a) * (GTree.list_store * string GTree.column) 
val text_combo_add : #combo_box text_combo -> string -> unit
val text_combo_get_active : #combo_box text_combo -> string option
val 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_combo

A 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.

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

A convenience function. See GEdit.combo_box_text