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