public void setCorner( int index, Vector3 pt ) { mCorners[ index ] = pt; mLocalsUpToDate = false; } /** Set the local coordinates of all of the portal corners