public interface PalettePagesListener
extends java.util.EventListener
PalettePages
Modifier and Type | Method and Description |
---|---|
void |
palettePagesChanged(java.util.Set<PalettePage> addedPages, java.util.Set<PalettePage> removedPages, java.util.Set<PalettePage> updatedPages)
palettePagesChanged
|
void palettePagesChanged(java.util.Set<PalettePage> addedPages, java.util.Set<PalettePage> removedPages, java.util.Set<PalettePage> updatedPages)