This was a very large buffer that took a lot of RAM space (the size of
the storage). Instead of having it, we just move the available space of
the storage at the end of the edited script, and move it back when the
edition finishes.
This is slower but saves a lot of space.
When adding to many scripts without naming them, one can overflow the
number of default generated script names, in which case we force the
user to enter a name.
Editing, renaming, deleting or changing the auto-importation of a script
triggers the reloading of the console (the history is cleared, Python
restarted and the scripts re-imported).
Change-Id: If8b933cc077ecd36cab09214b5e7a181aa3ae030
A Script object now contains its AutoImport marker, its name and its
content. The ScripStore methods have better names and the optimization
is cleaner.
Change-Id: I1b21af2d23f1c9a34f984309512b0c01b2f1c320
A script can now be imported in the console.
Moved all the MicroPython functions to python/port files.
Change-Id: I0a23e8cb20005719b800e81470e1c574c702c3b7