1 package org.vaadin.extension.gridscroll.shared; 2 3 import java.util.List; 4 5 import com.vaadin.shared.communication.ServerRpc; 6 7 public interface GridScrollExtensionServerRPC extends ServerRpc { 8 9 void ping(); 10 11 void reportPosition(int x, int y); 12 13 void reportColumns(double[] widths, int column); 14 15 void gridInitialColumnWidthsCalculated(); 16 17 void reportSize(int width, int height); 18 }