/** event handler for new selection of painter */ public final void setPainter(final String val) { if (val != null) { _thePainterManager.setDisplay(val); // and fire the event in the painter manager _thePainterManager.getInfo().fireChanged(this, "Painter", null, val); } }
public final StepperListener getCurrentPainter() { return _thePainterManager.getCurrentPainterObject(); }