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.objmethod event : GObj.event_opsmethod set_size : width:int -> height:int -> unit