|
|
1.
|
|
|
gedit
|
|
|
|
|
gedit
|
|
Translated by
Milo Casagrande
|
|
|
|
Located in
data/org.gnome.gedit.appdata.xml.in:7 data/org.gnome.gedit.desktop.in:3
|
|
|
2.
|
|
|
Text Editor
|
|
|
|
|
Editor di testo
|
|
Translated and reviewed by
Roberto Rosselli Del Turco
|
|
|
|
Located in
data/org.gnome.gedit.desktop.in:4 gedit/gedit-print-job.c:731
|
|
|
3.
|
|
|
Edit text files
|
|
|
|
|
Modifica file di testo
|
|
Translated and reviewed by
Roberto Rosselli Del Turco
|
|
|
|
Located in
data/org.gnome.gedit.appdata.xml.in:8 data/org.gnome.gedit.desktop.in:5
|
|
|
4.
|
|
|
Plaintext;Write;
|
|
|
|
|
Testo;Scrittura;Editor;
|
|
Translated and reviewed by
Milo Casagrande
|
|
|
|
Located in
../data/gedit.desktop.in.in.h:4
|
|
|
5.
|
|
|
Open a New Window
|
|
|
|
|
Apri una nuova finestra
|
|
Translated and reviewed by
Milo Casagrande
|
|
|
|
Located in
../data/org.gnome.gedit.desktop.in.in.h:4
|
|
|
6.
|
|
|
Open a New Document
|
|
|
|
|
Apri un nuovo documento
|
|
Translated and reviewed by
Milo Casagrande
|
|
|
|
Located in
../data/org.gnome.gedit.desktop.in.in.h:5
|
|
|
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
|
