SOMA.gui
Interface PanPlaceListener

All Superinterfaces:

java.util.EventListener

All Known Implementing Classes:

LancioAgente

public interface PanPlaceListener

extends java.util.EventListener

Method Summary

void	panPlaceCambiato() Ogni volta che viene modificato il contenuto del pannello PanPlace si viene avvisati attraverso l'invocazione di questo metodo.

Method Detail

panPlaceCambiato

public void panPlaceCambiato()

Ogni volta che viene modificato il contenuto del pannello PanPlace si viene avvisati attraverso l'invocazione di questo metodo. Ovviamente occorre essersi prima registrati presso il "PanPlace".