|
13.
|
|
|
Editor Font
|
|
|
|
Fonte do editor
|
|
Translated by
Ivo Xavier
|
|
Reviewed by
Ivo Xavier
|
In upstream: |
|
Letra do editor
|
|
|
Suggested by
Pedro Albuquerque
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:42
|
|
14.
|
|
|
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.
|
|
|
|
Uma letra personalizada que será utilizada na área de edição. Só terá efeito se a opção "Usar letra predefinida" estiver desativada.
|
|
Translated by
Pedro Albuquerque
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:5
|
|
15.
|
|
|
Style Scheme
|
|
|
|
Esquemas de estilo
|
|
Translated by
Ivo Xavier
|
|
Reviewed by
JL
|
In upstream: |
|
Esquema de estilo
|
|
|
Suggested by
José Vieira
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:47
|
|
16.
|
|
|
The ID of a GtkSourceView Style Scheme used to color the text.
|
|
|
|
A ID do esquema de estilo GtkSourceView usado para colorir o texto.
|
|
Translated by
José Vieira
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:48
|
|
17.
|
|
|
Create Backup Copies
|
|
|
|
Criar cópias de segurança
|
|
Translated and reviewed by
Ivo Xavier
|
In upstream: |
|
Criar Cópias de Segurança
|
|
|
Suggested by
Duarte Loreto
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:52
|
|
18.
|
|
|
Whether gedit should create backup copies for the files it saves. You can set the backup file extension with the "Backup Copy Extension" option.
|
|
|
|
Se o gedit deverá criar cópias de segurança dos ficheiros que gravar. Pode definir a extensão do ficheiro de segurança com a opção "Backup Copy Extension".
|
|
Translated by
Duarte Loreto
|
|
Reviewed by
IvoGuerreiro
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:9
|
|
19.
|
|
|
Autosave
|
|
|
|
Gravação automática
|
|
Translated and reviewed by
Ivo Xavier
|
In upstream: |
|
Gravação Automática
|
|
|
Suggested by
Pedro Flores
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:57
|
|
20.
|
|
|
Whether gedit should automatically save modified files after a time interval. You can set the time interval with the "Autosave Interval" option.
|
|
|
|
Se o gedit deverá gravar automaticamente, após um determinado intervalo de tempo, os ficheiros alterados. Pode definir o intervalo de tempo com a opção "Intervalo de gravação automática".
|
|
Translated by
Pedro Albuquerque
|
|
Reviewed by
Ivo Xavier
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:11
|
|
21.
|
|
|
Autosave Interval
|
|
|
|
Intervalo de gravação automática
|
|
Translated and reviewed by
Ivo Xavier
|
In upstream: |
|
Intervalo de Gravação Automática
|
|
|
Suggested by
Pedro Machado Santa
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:62
|
|
22.
|
|
|
Number of minutes after which gedit will automatically save modified files. This will only take effect if the "Autosave" option is turned on.
|
|
|
|
Número de minutos após os quais o gedit irá automaticamente gravar os ficheiros alterados. Só terá efeito se a opção "Gravação automática" estiver ativa.
|
|
Translated by
Pedro Albuquerque
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:13
|