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
Undo history should be preserved across restarts of the editor, similar to how it works in vim. This requires specifying the location of the undo history file, specifying a format for that history, and loading the history from that file when opening a file.
The text was updated successfully, but these errors were encountered:
Undo history should be preserved across restarts of the editor, similar to how it works in vim. This requires specifying the location of the undo history file, specifying a format for that history, and loading the history from that file when opening a file.
The text was updated successfully, but these errors were encountered: