class drawing_area :A widget for custom user interface elements (gtkdoc: gtk GtkDrawingArea)Gtk.drawing_area Gtk.obj ->
object
..end
val obj : Gtk.drawing_area Gtk.obj
method event : GObj.event_ops
method set_size : width:int -> height:int -> unit