Léa Saviot a19377ad5e [code] Default numbered script names (e.g. script1.py) ...

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

2017-11-17 11:59:50 +01:00

1.8 KiB

Raw Blame History

View Raw