|
1.
|
|
|
gedit
|
|
|
|
gedit
|
|
Translated by
Jorge González
|
|
Reviewed by
Paco Molinero
|
|
|
|
Located in
data/org.gnome.gedit.appdata.xml.in:7 data/org.gnome.gedit.desktop.in:3
|
|
2.
|
|
|
Text Editor
|
|
|
|
Editor de textos
|
|
Translated by
Fco. Javier Serrador
|
|
Reviewed by
Adolfo Jayme Barrientos
|
|
|
|
Located in
data/org.gnome.gedit.desktop.in:4 gedit/gedit-print-job.c:731
|
|
3.
|
|
|
Edit text files
|
|
|
|
Edite archivos de texto
|
|
Translated by
Fco. Javier Serrador
|
|
Reviewed by
Paco Molinero
|
|
|
|
Located in
data/org.gnome.gedit.appdata.xml.in:8 data/org.gnome.gedit.desktop.in:5
|
|
4.
|
|
|
Plaintext;Write;
|
|
|
|
texto;plano;escribir;
|
|
Translated and reviewed by
Adolfo Jayme Barrientos
|
|
|
|
Located in
../data/gedit.desktop.in.in.h:4
|
|
5.
|
|
|
Open a New Window
|
|
|
|
Abrir una ventana nueva
|
|
Translated and reviewed by
Adolfo Jayme Barrientos
|
|
|
|
Located in
../data/org.gnome.gedit.desktop.in.in.h:4
|
|
6.
|
|
|
Open a New Document
|
|
|
|
Abrir un documento nuevo
|
|
Translated and reviewed by
Adolfo Jayme Barrientos
|
|
|
|
Located in
../data/org.gnome.gedit.desktop.in.in.h:5
|
|
7.
|
|
|
Use Default Font
|
|
|
|
Usar tipografía predeterminada
|
|
Translated by
Fco. Javier Serrador
|
|
Reviewed by
Paco Molinero
|
|
|
|
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 si debe utilizarse la tipografía predeterminada del sistema en vez de la tipografía especificada por gedit. Si esta opción se desactiva entonces se utiliza la tipografía mencionada en la opción «Tipografía del editor» en vez de la tipografía del sistema.
|
|
Translated and reviewed by
Jorge González
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:2
|
|
9.
|
|
|
Editor Font
|
|
|
|
Tipografía del editor
|
|
Translated by
Fco. Javier Serrador
|
|
Reviewed by
Paco Molinero
|
|
|
|
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 tipo de letra personalizado que utilizar en el área de edición. Surtirá efecto solo si se desactiva la opción «Usar tipo de letra predeterminado».
|
|
Translated and reviewed by
Adolfo Jayme Barrientos
|
In upstream: |
|
Una tipografía personalizada para el área de edición. Esto sólo tiene efecto si la opción «Usar tipografía predeterminada» se encuentra desactivada.
|
|
|
Suggested by
Fco. Javier Serrador
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:5
|