gtk:propagate-event (widget event)

widget -- a gtk:widget widget
event -- a gdk:event instance

Sends an event to a widget, propagating the event to parent widgets if the event remains unhandled. Events received by GTK from GDK normally begin in the gtk:main-do-event function. Depending on the type of event, existence of modal dialogs, grabs, etc., the event may be propagated, if so, this function is used.

The gtk:propagate-event function calls the gtk:widget-event function on each widget it decides to send the event to. So the gtk:widget-event function is the lowest level function. It simply emits the event and possibly an event specific signal on a widget. The gtk:propagate-event function is a bit higher-level, and the gtk:main-do-event function is the highest level.

All that said, you most likely do not want to use any of these functions. Synthesizing events is rarely needed. There are almost certainly better ways to achieve your goals. For example, use the gdk:window-invalidate-rect or gtk:widget-queue-draw functions instead of making up expose events.