2017-11-06 18:56:15 +01:00
|
|
|
package org.gcube.datacatalogue.grsf_manage_widget.client.events;
|
|
|
|
|
|
|
|
import com.google.gwt.event.shared.EventHandler;
|
|
|
|
|
|
|
|
|
|
|
|
/**
|
2017-11-09 14:49:07 +01:00
|
|
|
* Hide management panel event handler.
|
2017-11-06 18:56:15 +01:00
|
|
|
* @author Costantino Perciante at ISTI-CNR (costantino.perciante@isti.cnr.it)
|
|
|
|
*/
|
|
|
|
public interface HideManagementPanelEventHandler extends EventHandler {
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param onEvent
|
|
|
|
*/
|
|
|
|
void onEvent(HideManagementPanelEvent hideEvent);
|
|
|
|
|
|
|
|
}
|