Rechercher une page de manuel
GEdit.editable.3o
Langue: en
Version: 267313 (debian - 07/07/09)
Section: 3 (Bibliothèques de fonctions)
Sommaire
NAME
GEdit.editable - Interface for text-editing widgetsClass
Class GEdit.editableDocumentation
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
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre