/** 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();
}
