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.
When there is already the maximal number of scripts or when the
ScriptStore accordion buffer is full.
Change-Id: I0d43d42626da7f060a2309c66f1806b35a29bf38
When the script name is empty after renaming a script, a default new name is
given. We look for the first available scriptI.py name, with 0<I<100.
Change-Id: If17f1df95c552320c0412ce652e7ae7e0cfd9cbc
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
