Michel2/pybricks-code
1
0
Fork 0
mirror of https://github.com/pybricks/pybricks-code.git synced 2026-09-14 10:35:11 +00:00
Code Issues Releases Activity
1,622 Commits 12 Branches 59 Tags
fe44881ee849d4d60f606ea26c0463558c5b69e5
Commit Graph
3 Commits
Author SHA1 Message Date
David Lechner 818865462e editor: handle files by uuid 
This changes things up a bit so that files are handled by uuid instead
of path. The allows for files to be renamed without breaking things.

Also some improvements with persistence of the view state for each
file is made.
 2022-05-31 17:21:29 -05:00
David Lechner 4580869e6f editor: don't keep file open when editing 
Since open takes a lock on the file, it prevented other file operations.
 2022-05-18 13:11:06 -05:00
David Lechner 8ac77560fb editor: add tabs for controlling open/active files 2022-04-07 21:17:09 -05:00