|
2.
|
|
|
Text Editor
|
|
|
|
Teksteditor
|
|
Translated by
rob
|
|
Reviewed by
Hannie Dumoleyn
|
|
|
|
Located in
data/org.gnome.gedit.desktop.in:4 gedit/gedit-print-job.c:731
|
|
3.
|
|
|
Edit text files
|
|
|
|
Tekstbestanden bewerken
|
|
Translated by
Tino Meinen
|
|
Reviewed by
Hannie Dumoleyn
|
|
|
|
Located in
data/org.gnome.gedit.appdata.xml.in:8 data/org.gnome.gedit.desktop.in:5
|
|
4.
|
|
|
Plaintext;Write;
|
|
|
|
Plaintext;Write;
|
|
Translated and reviewed by
Hannie Dumoleyn
|
|
|
|
Located in
../data/gedit.desktop.in.in.h:4
|
|
5.
|
|
|
Open a New Window
|
|
|
|
Nieuw venster openen
|
|
Translated and reviewed by
Hannie Dumoleyn
|
|
|
|
Located in
../data/org.gnome.gedit.desktop.in.in.h:4
|
|
6.
|
|
|
Open a New Document
|
|
|
|
Nieuw document openen
|
|
Translated and reviewed by
Hannie Dumoleyn
|
|
|
|
Located in
../data/org.gnome.gedit.desktop.in.in.h:5
|
|
7.
|
|
|
Use Default Font
|
|
|
|
Standaardlettertype gebruiken
|
|
Translated and reviewed by
Tino Meinen
|
|
|
|
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.
|
|
|
|
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
|
|
9.
|
|
|
Editor Font
|
|
|
|
Editorlettertype
|
|
Translated and reviewed by
Tino Meinen
|
|
|
|
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.
|
|
|
|
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
|
|
11.
|
|
|
Style Scheme
|
|
|
|
Stijlschema
|
|
Translated by
Reinout van Schouwen
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:47
|