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
I am editing (mostly) julia files. I noticed that formatting a file with Alt+shift+R breaks the history of file modifications, accessible with undo/redo.
This is particularily unpleasant when formatting an unsaved file, since it is not possible to recover the unsaved edits.
The text was updated successfully, but these errors were encountered:
This is because the formatter formats the file in place, so it has to be saved to format, and when it's reloaded the history is lost. Perhaps I should fix this
I am editing (mostly) julia files. I noticed that formatting a file with
Alt+shift+R
breaks the history of file modifications, accessible with undo/redo.This is particularily unpleasant when formatting an unsaved file, since it is not possible to recover the unsaved edits.
The text was updated successfully, but these errors were encountered: