public void paletteChanged(){
  displayChanger.notifyPaletteChanged();
}

public void paletteChanged ( ) { displayChanger . notifyPaletteChanged ( ) ; }
part of the displaychangedlistener interface : propagate this event to listeners
