|
|
9.
|
|
|
Editor Font
|
|
|
|
|
Carattere dell'editor
|
|
Translated by
Milo Casagrande
|
|
Reviewed by
Roberto Rosselli Del Turco
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:42
|
|
|
10.
|
|
|
A custom font that will be used for the editing area. This will only take effect if the "Use Default Font" option is turned off.
|
|
|
|
|
Un carattere scelto dall'utente che verrà utilizzato nell'area di modifica. Verrà utilizzato soltanto se l'opzione "Usa il carattere predefinito" è disabilitata.
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:5
|
|
|
11.
|
|
|
Style Scheme
|
|
|
|
|
Schema stile
|
|
Translated by
Milo Casagrande
|
|
|
|
|
(NdT) o Schema dello stile?
Ho messo così perché c'è anche Schema colore
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:47
|
|
|
12.
|
|
|
The ID of a GtkSourceView Style Scheme used to color the text.
|
|
|
|
|
L'ID di uno schema stile GtkSourceView usato per colorare il testo.
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:48
|
|
|
13.
|
|
|
Create Backup Copies
|
|
|
|
|
Crea copie di backup
|
|
Translated and reviewed by
Roberto Rosselli Del Turco
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:52
|
|
|
14.
|
|
|
Whether gedit should create backup copies for the files it saves. You can set the backup file extension with the "Backup Copy Extension" option.
|
|
|
|
|
Indica se il programma deve creare copie di backup per i file che si salvano. L'estensione dei file di backup può essere configurata per mezzo dell'opzione "Estensione della copia di backup".
|
|
Translated by
Milo Casagrande
|
|
|
|
|
(ndt) quella opzione non esiste...
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:9
|
|
|
15.
|
|
|
Autosave
|
|
|
|
|
Salvataggio automatico
|
|
Translated by
igi
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:57
|
|
|
16.
|
|
|
Whether gedit should automatically save modified files after a time interval. You can set the time interval with the "Autosave Interval" option.
|
|
|
|
|
Indica se il programma deve salvare automaticamente i file modificati dopo un certo intervallo di tempo. Tale intervallo è definito in "Intervallo per il salvataggio automatico".
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:11
|
|
|
17.
|
|
|
Autosave Interval
|
|
|
|
|
Intervallo per il salvataggio automatico
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:62
|
|
|
18.
|
|
|
Number of minutes after which gedit will automatically save modified files. This will only take effect if the "Autosave" option is turned on.
|
|
|
|
|
Numero di minuti trascorsi i quali il programma salverà automaticamente i file modificati. Questo avverrà soltanto se l'opzione "Salvataggio automatico" è abilitata.
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:13
|
