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 }