public void removeFoldingAreaPainter(AbstractFoldingAreaPainter painter) {
if (!myFoldingAreaPainters.contains(painter)) {
return;
}
myFoldingAreaPainters.remove(painter);
relayout(true);
repaint();
}
public void addFoldingAreaPainter(AbstractFoldingAreaPainter painter) {
if (myFoldingAreaPainters.contains(painter)) {
return;
}
myFoldingAreaPainters.add(painter);
relayout(true);
repaint();
}