|
10.
|
|
|
Use Default Font
|
|
|
|
Standaardlettertype gebruiken
|
|
Translated and reviewed by
Tino Meinen
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:36
|
|
11.
|
|
|
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.
|
|
|
|
Of het standaard vaste breedte-systeemlettertype gebruikt dient te worden bij het bewerken van tekst in plaats van een lettertype specifiek voor gedit. Als deze optie uitgeschakeld is, zal het lettertype worden gebruikt dat wordt aangegeven in de optie ‘Editorlettertype’, in plaats van het systeemlettertype.
|
|
Translated by
rob
|
|
Reviewed by
Hannie Dumoleyn
|
In upstream: |
|
Of het standaard, vaste-breedte systeemlettertype gebruikt dient te worden bij het bewerken van tekst in plaats van een lettertype specifiek voor gedit. Als deze optie uitgeschakeld is, zal het lettertype worden gebruikt dat wordt aangegeven in de optie ‘Editorlettertype’, in plaats van het systeemlettertype.
|
|
|
Suggested by
Hannie Dumoleyn
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:2
|
|
12.
|
|
|
'Monospace 12'
|
|
|
Translators: This is a GSettings default value. Do NOT change or localize the quotation marks!
|
|
|
|
'Monospace 12'
|
|
Translated by
Reinout van Schouwen
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:41
|
|
13.
|
|
|
Editor Font
|
|
|
|
Editorlettertype
|
|
Translated and reviewed by
Tino Meinen
|
|
|
|
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.
|
|
|
|
Het lettertype dat gebruikt wordt in het bewerkingsgedeelte van de teksteditor. Dit heeft alleen effect indien de optie ‘Standaardlettertype gebruiken’ is uitgeschakeld.
|
|
Translated and reviewed by
Hannie Dumoleyn
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:5
|
|
15.
|
|
|
Style Scheme
|
|
|
|
Stijlschema
|
|
Translated by
Reinout van Schouwen
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:47
|
|
16.
|
|
|
The ID of a GtkSourceView Style Scheme used to color the text.
|
|
|
|
Het ID van een GtkSourceView-stijlschema dat gebruikt wordt om de tekst te kleuren.
|
|
Translated by
Hannie Dumoleyn
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:48
|
|
17.
|
|
|
Create Backup Copies
|
|
|
|
Reservekopieën maken
|
|
Translated by
Tino Meinen
|
|
Reviewed by
Hannie Dumoleyn
|
|
|
|
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.
|
|
|
|
Reservekopieën maken bij het opslaan van bestanden. Het achtervoegsel van reservekopieën kunt u instellen met de optie ‘Achtervoegsel voor reservekopie’.
|
|
Translated and reviewed by
Hannie Dumoleyn
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:9
|
|
19.
|
|
|
Autosave
|
|
|
|
Automatisch opslaan
|
|
Translated by
Joshua Lückers
|
|
Reviewed by
Hannie Dumoleyn
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:57
|