Files
pybricks-code/src/explorer
David Lechner 7351dfb95c editor: fix replacing file when open in editor
When we import/replace a file that is open in an editor, instead of
modifying the file in storage, we need to modify the file in the editor.
This allows the modification to be pushed on the undo stack so that
the user can undo the change in case it wrote over any of their recent
changes.

Issue: https://github.com/pybricks/support/issues/975
2023-05-18 17:06:31 -05:00
..
2023-05-17 16:33:47 -05:00
2023-05-17 16:33:47 -05:00
2023-05-17 16:33:47 -05:00
2023-05-17 16:33:47 -05:00
2023-05-17 16:33:47 -05:00
2023-05-17 16:33:47 -05:00
2023-05-17 16:33:47 -05:00
2023-05-17 16:33:47 -05:00
2023-05-17 16:33:47 -05:00