File
menů
della finestra
Editor
|
![](editor_file.gif) |
Save and exit |
Permette di salvare i cambiamenti effettuati e di chiudere la finestra. |
Save to workspace |
Non disponibile. Usare "Save and Exit". |
Print... |
Permette di stampare le procedure, cioč le parole spiegate alla tartaruga. |
Exit |
Permette di uscire senza salvare le modifiche effettuate.
Per sicurezza perň compare questa finestra che avverte nel caso i contenuti della memoria della tartaruga siano cambiati.
![](contents.gif)
Premendo "Si" le modifiche si salvano.
Premendo "No" le modifiche non si salvano
Premendo "Annulla" si torna all'Editor |