public void onBrowserEvent(Event event) {
double now = Duration.currentTimeMillis();
// Workaround for Issue_20
if (lastType.equals(event.getType())
&& now - lastEvnt < 10
&& "body".equalsIgnoreCase(element.getTagName())) {
return;
}
lastEvnt = now;
lastType = event.getType();
// Execute the original Gwt listener
if (getOriginalEventListener() != null && getOriginalEventListener() != this) {
getOriginalEventListener().onBrowserEvent(event);
}
dispatchEvent(event);
}
/** Dispatch an event in this element. */
public void dispatchEvent(Event event) {
dispatchEvent(event, event.getType());
}
