/**
* @see
* com.google.gwt.event.dom.client.FocusHandler#onFocus(com.google.gwt.event.dom.client.FocusEvent)
*/
public void onFocus(FocusEvent event) {
UIObject source = (UIObject) event.getSource();
if (m_time.getElement().isOrHasChild(source.getElement())) {
onFocusTimeBox();
}
}
@Override
public HandlerRegistration addFocusHandler(final FocusHandler handler) {
if (!focusHandlerAdded) {
focusHandlerAdded = true;
this.codeMirror.on(
this.editorOverlay,
FOCUS,
new EventHandlers.EventHandlerNoParameters() {
@Override
public void onEvent() {
fireFocusEvent();
}
});
}
return addHandler(handler, FocusEvent.getType());
}
@Override
public HandlerRegistration addFocusHandler(FocusHandler handler) {
return addDomHandler(handler, FocusEvent.getType());
}
@Override
public HandlerRegistration addFocusHandler(final FocusHandler handler) {
return handlers.addHandler(FocusEvent.getType(), handler);
}
