Module GtkEditProps.EditableSource

Sourcemodule S : sig ... end
Sourceval select_region : [> `editable ] Gtk.obj -> start:int -> stop:int -> unit
Sourceval get_selection_bounds : [> `editable ] Gtk.obj -> (int * int) option
Sourceval insert_text : [> `editable ] Gtk.obj -> string -> pos:int -> int
Sourceval delete_text : [> `editable ] Gtk.obj -> start:int -> stop:int -> unit
Sourceval get_chars : [> `editable ] Gtk.obj -> start:int -> stop:int -> string
Sourceval cut_clipboard : [> `editable ] Gtk.obj -> unit
Sourceval copy_clipboard : [> `editable ] Gtk.obj -> unit
Sourceval paste_clipboard : [> `editable ] Gtk.obj -> unit
Sourceval delete_selection : [> `editable ] Gtk.obj -> unit
Sourceval get_position : [> `editable ] Gtk.obj -> int
Sourceval set_position : [> `editable ] Gtk.obj -> int -> unit
Sourceval get_editable : [> `editable ] Gtk.obj -> bool
Sourceval set_editable : [> `editable ] Gtk.obj -> bool -> unit