|
|
7.
|
|
|
Use Default Font
|
|
|
|
|
Usa il carattere predefinito
|
|
Translated by
Milo Casagrande
|
|
Reviewed by
Roberto Rosselli Del Turco
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:36
|
|
|
8.
|
|
|
Whether to use the system's default fixed width font for editing text instead of a font specific to gedit. If this option is turned off, then the font named in the "Editor Font" option will be used instead of the system font.
|
|
|
|
|
Indica se attivare l'uso del carattere a spaziatura fissa predefinito del sistema per la modifica del testo invece di un carattere specifico di gedit. Se questa opzione è disabilitata, allora il carattere indicato per mezzo dell'opzione «Carattere dell'editor» verrà utilizzato invece del carattere di sistema.
|
|
Translated by
Milo Casagrande
|
|
Reviewed by
Milo Casagrande
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:2
|
|
|
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
|
