|
|
61.
|
|
|
Toolbar Buttons Style
|
|
|
|
|
Werkbalk-knoppenstijl
|
|
Translated and reviewed by
Tino Meinen
|
|
|
|
Located in
../data/gedit.schemas.in.in.h:66
|
|
|
82.
|
|
|
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
|
|
|
402.
|
|
|
_Incremental Search...
|
|
|
|
|
Snelzoeken…
|
|
Translated by
Reinout van Schouwen
|
|
|
|
Located in
../gedit/gedit-ui.h:133
|
|
|
403.
|
|
|
Incrementally search for text
|
|
|
|
|
Interactief zoeken naar tekst
|
|
Translated and reviewed by
Reinout van Schouwen
|
|
|
|
Located in
../gedit/gedit-ui.h:134
|
|
|
509.
|
|
|
External Tools Manager
|
|
|
|
|
Externe hulpprogramma's-beheer
|
|
Translated and reviewed by
Reinout van Schouwen
|
|
|
|
Located in
../plugins/externaltools/tools/tools.ui.h:13
|
|
|
710.
|
|
|
word
|
|
|
|
|
woord
|
|
Translated by
rob
|
|
Reviewed by
Hannie Dumoleyn
|
|
|
|
Located in
../plugins/spell/resources/ui/spell-checker.ui.h:3
|
|
|
713.
|
|
|
Tags
|
|
|
|
|
Tags
|
|
Translated and reviewed by
Tino Meinen
|
|
|
|
Located in
../plugins/taglist/gedit-taglist-plugin.c:98
../plugins/taglist/gedit-taglist-plugin-panel.c:694
../plugins/taglist/gedit-taglist-plugin-panel.c:710
|
|
|
714.
|
|
|
Select the group of tags you want to use
|
|
|
|
|
Selecteer de tag-groep die u wilt gebruiken.
|
|
Translated and reviewed by
Tino Meinen
|
|
|
|
Located in
../plugins/taglist/gedit-taglist-plugin-panel.c:605
|
|
|
716.
|
|
|
Available Tag Lists
|
|
|
|
|
Beschikbare tag-lijsten
|
|
Translated and reviewed by
Tino Meinen
|
|
|
|
Located in
../plugins/taglist/gedit-taglist-plugin-panel.c:691
|
|
|
727.
|
|
|
Applet class file code
|
|
|
|
|
Code van het applet-classbestand
|
|
Translated and reviewed by
Tino Meinen
|
|
|
|
Located in
../plugins/taglist/HTML.tags.xml.in.h:11
|
