class event_box :A widget used to catch events for widgets which do not have their own window[> Gtk.event_box ] Gtk.obj ->object..end
val obj : ([> Gtk.event_box ] as 'a) Gtk.objmethod connect : GContainer.container_signalsmethod event : GObj.event_ops