235236237238239240241242243244245
newBox.copyLeftPen(lineBox.getRightPen()); } if (copyRight) { newBox.copyRightPen(lineBox.getLeftPen()); } if (copyTop) { newBox.copyTopPen(lineBox.getBottomPen());