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
If I go back and make the correction, the resulting state is:
Not a bug, as the current policy is that expansion needs a space, but this strikes me as maybe sub-optimal in that the editor generally conditions people that they often don't need to insert spaces themselves, so obligate spaces for expansion might chafe a bit during corrections
The text was updated successfully, but these errors were encountered:
I'm thinking a combination of clearly indicating reserved keywords as being in error and letting Tab do the expansion (possibly indicating this expandability via Tab explicitly a la Cursor) should help here
Below I accidentally typed fun as dun:
If I go back and make the correction, the resulting state is:
Not a bug, as the current policy is that expansion needs a space, but this strikes me as maybe sub-optimal in that the editor generally conditions people that they often don't need to insert spaces themselves, so obligate spaces for expansion might chafe a bit during corrections
The text was updated successfully, but these errors were encountered: