(module GtkBinProps.EventBox)