public void removeCell(jetbrains.mps.nodeEditor.cells.EditorCell cellToRemove) {
((EditorCell_Basic) cellToRemove).setParent(null);
getEditorCells().remove(cellToRemove);
getStyle().remove(cellToRemove.getStyle());
if (isInTree()) {
((EditorCell_Basic) cellToRemove).onRemove();
}
}
@Override
public void onRemove() {
if (canBePossiblyFolded()) {
getEditor().getCellTracker().removeFoldableCell(this);
}
removeUnfoldingListener();
if (isFolded()) {
getEditor().setFolded(this, false);
}
if (myLastCellSelectionListener != null) {
setBracesEnabled(false);
getEditor().getSelectionManager().removeSelectionListener(myLastCellSelectionListener);
}
for (EditorCell child : getEditorCells()) {
((EditorCell_Basic) child).onRemove();
}
if (hasFoldedCell()) {
((EditorCell_Basic) getFoldedCell()).onRemove();
}
super.onRemove();
}
