com.vaadin.polymer.vaadin.widget.event.ScrollAnimationFinishedEvent Maven / Gradle / Ivy
/*
* This code was generated with Vaadin Web Component GWT API Generator,
* from vaadin-date-picker project by Vaadin Ltd
* that is licensed with Apache-2.0 license.
*/
package com.vaadin.polymer.vaadin.widget.event;
import com.google.gwt.event.dom.client.DomEvent;
import com.google.gwt.core.client.JsArray;
import com.google.gwt.core.client.JavaScriptObject;
/**
* Fired when the scroller reaches the target scrolling position.
*/
public class ScrollAnimationFinishedEvent extends DomEvent {
public static Type TYPE = new Type(
com.vaadin.polymer.vaadin.event.ScrollAnimationFinishedEvent.NAME, new ScrollAnimationFinishedEvent());
public ScrollAnimationFinishedEvent() {
}
public Type getAssociatedType() {
return TYPE;
}
protected void dispatch(ScrollAnimationFinishedEventHandler handler) {
handler.onScrollAnimationFinished(this);
}
public com.vaadin.polymer.vaadin.event.ScrollAnimationFinishedEvent getPolymerEvent() {
return (com.vaadin.polymer.vaadin.event.ScrollAnimationFinishedEvent)super.getNativeEvent();
}
/**
* new position
*/
public double getPosition() {
return getPolymerEvent().getDetail().getPosition();
}
/**
* old position
*/
public double getOldPosition() {
return getPolymerEvent().getDetail().getOldPosition();
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy