/** * Adds the given painter to the list of painters managed by this paint manager. * If the painter is already registered with this paint manager, this method is * without effect. * * @param painter the painter to be added */ public void addPainter(IPainter painter) { if (!fPainters.contains(painter)) { fPainters.add(painter); if (fPainters.size() == 1) install(); painter.setPositionManager(fManager); painter.paint(IPainter.INTERNAL); } }
/** * Adds the given painter to the list of painters managed by this paint manager. * If the painter is already registered with this paint manager, this method is * without effect. * * @param painter the painter to be added */ public void addPainter(IPainter painter) { if (!fPainters.contains(painter)) { fPainters.add(painter); if (fPainters.size() == 1) install(); painter.setPositionManager(fManager); painter.paint(IPainter.INTERNAL); } }
/** * Removes the given painter from the list of painters managed by this * paint manager. If the painter has not previously been added to this * paint manager, this method is without effect. * * @param painter the painter to be removed */ public void removePainter(IPainter painter) { if (fPainters.remove(painter)) { painter.deactivate(true); painter.setPositionManager(null); } if (fPainters.size() == 0) dispose(); }
/** * Removes the given painter from the list of painters managed by this * paint manager. If the painter has not previously been added to this * paint manager, this method is without effect. * * @param painter the painter to be removed */ public void removePainter(IPainter painter) { if (fPainters.remove(painter)) { painter.deactivate(true); painter.setPositionManager(null); } if (fPainters.size() == 0) dispose(); }