After lauching the console, if we fetch a script we mark it as fetched.
When the variable box displays variables from imported scripts, it scans
all the variables from the scripts marked as fetched.
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
