|
|
4.
|
|
|
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.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:5
|
|
|
7.
|
|
|
Automatically Detected Encodings
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:85
|
|
|
10.
|
|
|
Body Font for Printing
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:220
|
|
|
15.
|
|
|
Enable Search Highlighting
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:162
|
|
|
16.
|
|
|
Enable Syntax Highlighting
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:157
|
|
|
17.
|
|
|
Encodings shown in menu
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:90
|
|
|
18.
|
|
|
Header Font for Printing
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:226
|
|
|
21.
|
|
|
If this value is 0, then no line numbers will be inserted when printing a document. Otherwise, gedit will print line numbers every such number of lines.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:215
|
|
|
23.
|
|
|
Line Number Font for Printing
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:232
|
|
|
25.
|
|
|
List of active plugins. It contains the "Location" of the active plugins. See the .gedit-plugin file for obtaining the "Location" of a given plugin.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:88
|
