void EZ_DisplayWidget(EZ_Widget *widget); void EZ_DisplayWidgetUnderPointer(EZ_Widget *widget, int xoff, int yoff); void EZ_BlinkWidget(EZ_Widget *widget, int cnt); void EZ_FlashWidgetBorder(EZ_Widget *widget); void EZ_HighlightWidget(EZ_Widget *widget, int on_off); int EZ_WidgetIsViewable(EZ_Widget *widget); void EZ_RaiseWidgetWindow(EZ_Widget *widget); void EZ_RedisplayWidgetTree(EZ_Widget *widget);