/*******************************************************************************
* Copyright (c) 2012-2017 Codenvy, S.A.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Codenvy, S.A. - initial API and implementation
*******************************************************************************/
package org.eclipse.che.ide.api.editor.events;
import elemental.events.MouseEvent;
import com.google.gwt.event.shared.GwtEvent;
/**
* Events for clicks on the gutter element of the editor.
*
* @author "Mickaƫl Leduque"
*/
public class GutterClickEvent extends GwtEvent<GutterClickHandler> {
/** The type instance for this event. */
public static final Type<GutterClickHandler> TYPE = new Type<>();
/** The line of the event. */
private final int lineNumber;
/** the gutter. */
private final String gutterId;
private final MouseEvent event;
/**
*
* @param lineNumber
* @param gutterId
*/
public GutterClickEvent(final int lineNumber,
final String gutterId,
final MouseEvent event) {
this.lineNumber = lineNumber;
this.gutterId = gutterId;
this.event = event;
}
@Override
public Type<GutterClickHandler> getAssociatedType() {
return TYPE;
}
@Override
protected void dispatch(final GutterClickHandler handler) {
handler.onGutterClick(this);
}
/**
* Returns the line on which the click happened.
* @return the line
*/
public int getLineNumber() {
return lineNumber;
}
/**
* Returns the id of the gutter on which the click happened.
* @return the id of the gutter
*/
public String getGutterId() {
return gutterId;
}
/**
* Returns the mouse event that generated the gutter event.
* @return the mouse event
*/
public MouseEvent getEvent() {
return event;
}
}