2018-10-05 16:30:52 +02:00
|
|
|
package org.gcube.portlets.user.workspace.client.gridevent;
|
2014-05-16 17:44:31 +02:00
|
|
|
|
|
|
|
import com.google.gwt.event.shared.GwtEvent;
|
|
|
|
|
|
|
|
/**
|
|
|
|
*
|
|
|
|
* @author Francesco Mangiacrapa francesco.mangiacrapa@isti.cnr.it
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
public class StoreGridChangedEvent extends GwtEvent<StoreGridChangedEventHandler> {
|
|
|
|
public static Type<StoreGridChangedEventHandler> TYPE = new Type<StoreGridChangedEventHandler>();
|
|
|
|
|
|
|
|
private int size = -1;
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param size
|
|
|
|
*/
|
|
|
|
public StoreGridChangedEvent(int size) {
|
|
|
|
this.size = size;
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public Type<StoreGridChangedEventHandler> getAssociatedType() {
|
|
|
|
return TYPE;
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
protected void dispatch(StoreGridChangedEventHandler handler) {
|
|
|
|
handler.onStoreChanged(this);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
public int getSize() {
|
|
|
|
return size;
|
|
|
|
}
|
|
|
|
}
|