man GnoCanvas.rich_text () - no description

NAME

GnoCanvas.rich_text - no description

Class

Class GnoCanvas.rich_text

Documentation

class rich_text : GnomeCanvas.rich_text Gtk.obj -> object end

Parameters:

""

GnomeCanvas.rich_text Gtk.obj

val obj : GnomeCanvas.rich_text Gtk.obj

method copy_clipboard : unit -> unit

method cut_clipboard : unit -> unit

method paste_clipboard : unit -> unit

method get_buffer : GText.buffer