You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As the correction takes place on the whitespace between two extents, the correction should begin on the last line of the left extent and end on the first line of the right extent
0 commit comments