David Lechner
|
1802bcf796
|
explorer: push file name validation to parents
This gets rid of the weird unknown state and other problems of trying
to push state from a child back to a parent.
|
2022-03-19 18:21:00 -05:00 |
|
David Lechner
|
d8f958d18e
|
explorer: implement file renaming
|
2022-03-12 14:45:06 -06:00 |
|
David Lechner
|
7b095765ac
|
pybricksMicropython/lib: add pythonFileExtensionRegex
This can be reused in code to work with file names.
|
2022-03-11 15:41:16 -06:00 |
|
David Lechner
|
e36a30de4c
|
pybricksMicropython/lib: add module
This creates a new module for dealing with stuff specific to Pybricks
MicroPython.
|
2022-03-11 15:41:16 -06:00 |
|