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
In step 77, "Snap cursor to end of line", we add an invariant to the horizontal position of the cursor. At this point, one can still break it by pressing End. It's easy to discover this, since just 2 steps later we implement "Moving right at the end of a line".
I would consider "Move to the end of the line with End", currently step 91, an integral part of "Snap cursor to end of line", and I would like to suggest making the former immediately follow the latter at step 78.
The text was updated successfully, but these errors were encountered:
In step 77, "Snap cursor to end of line", we add an invariant to the horizontal position of the cursor. At this point, one can still break it by pressing End. It's easy to discover this, since just 2 steps later we implement "Moving right at the end of a line".
I would consider "Move to the end of the line with End", currently step 91, an integral part of "Snap cursor to end of line", and I would like to suggest making the former immediately follow the latter at step 78.
The text was updated successfully, but these errors were encountered: