2192
2222
changedCells.addAll(parentSet);
2193
2234
// Refresh all changed cells
2194
2235
refresh(getMapping(changedCells.toArray(), false), false);
2195
2236
// Updates the connected edges. Make sure that changedCells
2196
2237
// contains no edges, as these will be removed from the result.