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 ] as 'a) Gtk.objmethod event : GObj.event_opsmethod set_size : width:int -> height:int -> unit