man GEdit.editable () - Interface for text-editing widgets

NAME

GEdit.editable - Interface for text-editing widgets

Class GEdit.editable

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

Interface for text-editing widgets

Parameters:

([> Gtk.editable ] as 'a) Gtk.obj

method copy_clipboard : unit -> unit

method cut_clipboard : unit -> unit

method delete_selection : unit -> unit

method delete_text : start:int -> stop:int -> unit

method editable : bool

method get_chars : start:int -> stop:int -> string

method insert_text : string -> pos:int -> int

method paste_clipboard : unit -> unit

method position : int

method select_region : start:int -> stop:int -> unit

method selection : (int * int) option

method set_position : int -> unit

method set_editable : bool -> unit