|
prefs.font
|
Body font:
|
Hoofdtekst-lettertype:
|
|
|
prefs.mono
|
Monospace body:
|
Tekst in vaste breedte:
|
|
|
prefs.font.monodoc
|
Monospace font:
|
Vaste-breedte-lettertype:
|
|
|
prefs.mono.gemini
|
Gemini
|
Gemini
|
|
|
prefs.mono.gopher
|
Gopher
|
Gopher
|
|
|
prefs.gopher.gemstyle
|
Autodetect Gopher menu styling:
|
|
|
|
prefs.boldlink
|
Bold links:
|
Vetgedrukte links:
|
|
|
prefs.boldlink.visited
|
Visited
|
Bezocht
|
|
|
prefs.boldlink.dark
|
On Dark
|
Op donker
|
|
|
prefs.boldlink.light
|
On Light
|
Op licht
|
|
|
prefs.gemtext.ansi
|
Gemtext ANSI escapes:
|
ANSI-escapes:
|
|
|
prefs.gemtext.ansi.fg
|
FG Color
|
Voorgrondkleur
|
|
|
prefs.gemtext.ansi.bg
|
BG Color
|
Achtergrondkleur
|
|
|
prefs.gemtext.ansi.fontstyle
|
Font Style
|
Letterstijl
|
|
|
prefs.font.warnmissing
|
Font glyph warnings:
|
Schriftwaarschuwingen:
|
|
|
prefs.font.smooth
|
Font smoothing:
|
Mooi maken:
|
|
|
prefs.editor.highlight
|
Syntax highlighting:
|
|
|
|
prefs.linewidth
|
Line width:
|
Regelbreedte:
|
|
|
prefs.expandline
|
Expand to long lines:
|
|
|
|
prefs.linewidth.normal
|
Normal
|
Normaal
|
|
