|
88.
|
|
|
The top margin, in millimeters.
|
|
|
|
The top margin, in millimeters.
|
|
Translated by
Yosef Or Boczko
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:243
|
|
89.
|
|
|
Margin Right
|
|
|
|
Margin Right
|
|
Translated by
Yosef Or Boczko
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:247
|
|
90.
|
|
|
The right margin, in millimeters.
|
|
|
|
The right margin, in millimeters.
|
|
Translated by
Yosef Or Boczko
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:248
|
|
91.
|
|
|
Margin Bottom
|
|
|
|
Margin Bottom
|
|
Translated by
Yosef Or Boczko
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:252
|
|
92.
|
|
|
The bottom margin, in millimeters.
|
|
|
|
The bottom margin, in millimeters.
|
|
Translated by
Yosef Or Boczko
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:253
|
|
93.
|
|
|
Candidate Encodings
|
|
|
|
Candidate Encodings
|
|
Translated by
Yosef Or Boczko
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:259
|
|
94.
|
|
|
List of candidate encodings shown in the Character Encoding menu in the open/save file chooser. "CURRENT" represents the current locale encoding. Only recognized encodings are used. The default value is the empty list, in which case gedit will choose good defaults depending on the country and language.
|
|
|
|
List of candidate encodings shown in the Character Encoding menu in the open/save file chooser. "CURRENT" represents the current locale encoding. Only recognized encodings are used. The default value is the empty list, in which case gedit will choose good defaults depending on the country and language.
|
|
Translated by
Yosef Or Boczko
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:86
|
|
95.
|
|
|
Active plugins
|
|
|
|
תוספים פעילים
|
|
Translated by
Yair Hershkovitz
|
|
Reviewed by
Mark Krapivner
|
In upstream: |
|
Active plugins
|
|
|
Suggested by
Yair Hershkovitz
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:309
|
|
96.
|
|
|
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.
|
|
|
|
רשימה של הרחבות פעילות. זה מכיל את המיקום של ההרחבות הפעילות. ראו את הקובץ .gedit-plugin כדי לראות את מיקום ההרחבה.
|
|
Translated by
Mark Krapivner
|
|
Reviewed by
Omri Strumza
|
In upstream: |
|
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.
|
|
|
Suggested by
Yair Hershkovitz
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:88
|
|
97.
|
|
|
Show the application's version
|
|
|
|
Show the application's version
|
|
Translated by
Mark Krapivner
|
|
|
|
Located in
../gedit/gedit-app.c:110
|