man GMisc.drawing_area () - A widget for custom user interface elements

NAME

GMisc.drawing_area - A widget for custom user interface elements

Class

Class GMisc.drawing_area

Documentation

class drawing_area : Gtk.drawing_area Gtk.obj -> object end

A widget for custom user interface elements

Parameters:

""

Gtk.drawing_area Gtk.obj

val obj : Gtk.drawing_area Gtk.obj

method event : GObj.event_ops

method set_size : width:int -> height:int -> unit