/**
* Push an event specifically for a given element. This is normally done automatically by the
* graphic element.
*
* @param element The element considered.
* @param event The event to push.
*/
public void pushEventFor(Element element, String event) {
StyleGroup group = getGroup(getElementGroup(element));
if (group != null) group.pushEventFor(element, event);
}
