* @param detailArg the detailArg parameter of the event
*/
protected void fireDOMActivateEvent(EventTarget target, int detailArg) {
DocumentEvent docEvt =
(DocumentEvent)((Element)target).getOwnerDocument();
UIEvent uiEvt = (UIEvent)docEvt.createEvent("UIEvents");
uiEvt.initUIEvent("DOMActivate", true, true, null, detailArg);
target.dispatchEvent(uiEvt);
}