public void DetachBeachSection(TreeNode beachSectionNode) { //this.detachCircleEvent(beachsection); // detach potentially attached circle event //this.beachline.rbRemoveNode(beachsection); // remove from RB-tree //this.beachsectionJunkyard.push(beachsection); // mark for reuse DetachCircleEvent(beachSectionNode); BeachLine.RemoveNode(beachSectionNode); //BeachLine.Dump("BeachLine removing node", beachLineCounter++); BeachLine.Dump("detachBeachSection, remove", beachLineCounter++); //dumpTree(this.beachline, "detachBeachSection, remove", beachLineCounter); beachLineCounter++; }