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.obj
method event : GObj.event_ops
method set_size : width:int -> height:int -> unit