module GEdit:sig
..end
Editable Widgets
class editable_signals :[> Gtk.editable ] Gtk.obj ->
object
..end
class editable :[> Gtk.editable ] Gtk.obj ->
object
..end
Interface for text-editing widgets
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
:[> Gtk.spin_button ] Gtk.obj ->
object
..end
:Gtk.spin_button Gtk.obj ->
object
..end
Retrieve an integer or floating-point number from the user
?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
: 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
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
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