class rich_text :GTK documentation: GnomeCanvasRichtextGnomeCanvas.rich_text Gtk.obj ->object..end
val obj : GnomeCanvas.rich_text Gtk.objmethod copy_clipboard : unit -> unitmethod cut_clipboard : unit -> unitmethod paste_clipboard : unit -> unitmethod get_buffer : GText.buffer