既にある線を縮める

すでにある線分を対象の線に到達するように縮めるには、「伸縮」をクリックし、すでにある縮めたい線分をクリック、その後対象の線をクリック。
対象の線がない場合は、一時的に対象の線を仮に引くか、伸縮のボタンを押している間は右クリックで線分の分断もできるので、縮めたい位置で右クリックして線分を分断し、不必要な方を消去。