class graph_text : GnomeCanvas.text Gtk.obj -> size_points:float -> props:GnomeCanvas.text_p list -> object .. end
GnomeCanvas.text Gtk.obj -> size_points:float -> props:GnomeCanvas.text_p list ->
object
end
text
method undo : unit -> unit
unit -> unit
method resize : float -> unit
float -> unit
method init_size : float
float