man GBin.event_box () - A widget used to catch events for widgets which do not have their own window

NAME

GBin.event_box - A widget used to catch events for widgets which do not have their own window

Class

Class GBin.event_box

Documentation

class event_box : [> Gtk.event_box ] Gtk.obj -> object end

A widget used to catch events for widgets which do not have their own window

Parameters:

""

([> Gtk.event_box ] as 'a) Gtk.obj

val obj : 'a Gtk.obj

method connect : GContainer.container_signals

method event : GObj.event_ops