View Javadoc
1   package org.vaadin.aceeditor.client.gwt;
2   
3   /**
4    * Listens to Ace selection changes.
5    * 
6    */
7   public interface GwtAceChangeSelectionHandler {
8   	public void onChangeSelection(GwtAceEvent e);
9   }