public interface WGDesignChangeListener
| Modifier and Type | Method and Description |
|---|---|
void |
designChanged(WGDesignChangeEvent event)
The design of a design core provider or the database has changed.
|
void designChanged(WGDesignChangeEvent event)
event - Event information