Utilizzo Software

jEdit

Per aprire jEdit:

• Start -> Programmi -> jEdit

Di seguito si riportano le istruzioni base per l'utilizzo dell'editor

• Per creare un nuovo documento, selezionare dal menu principale File -> New.
• Editare il contenuto del nuovo documento.
• Per salvare il documento appena creato, selezionare dal menu principale File -> Save, selezionare il nome del file (comprensivo di estensione) e cliccare sul tasto Save.
• Per aprire ed editare un documento esistente, selezionare dal menu principale File -> Open..., sezionare il documento da aprire navigando il file system e cliccare su Open.

IMPORTANTE

jEdit consente l'apertura contemporanea di più documenti. Per passare da un documento all'altro cliccare sul tasto evidenziato nell'immagine sottostante e selezionare il documento desiderato.

Nota Bene: Nell'immagine sopra, a sinistra del nome dei vari documenti aperti è presente un quadratino, che indica se il relativo documento è già stato salvato, cioè se non vi sono state apportate modifiche non ancora salvate.

• Quadratino di colore rosso: al documento sono state apportate modifiche non ancora salvate.
• Quadratino di colore bianco: al documento NON sono state apportate nuove modifiche: la chiusura del documento non comporta la perdita di eventuali aggiornamenti apportati.