|
|
11.
|
|
|
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.
|
|
|
|
|
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.
|
|
Translated by
Yair Hershkovitz
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:2
|
|
|
12.
|
|
|
'Monospace 12'
|
|
|
Translators: This is a GSettings default value. Do NOT change or localize the quotation marks!
|
|
|
|
|
'Monospace 12'
|
|
Translated and reviewed by
Yaron
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:41
|
|
|
13.
|
|
|
Editor Font
|
|
|
|
|
גופן העורך
|
|
Translated by
Yair Hershkovitz
|
|
Reviewed by
Mark Krapivner
|
| In upstream: |
|
Editor Font
|
|
|
Suggested by
Yair Hershkovitz
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:42
|
|
|
14.
|
|
|
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.
|
|
|
|
|
גופן מותאם אישית שישמש האזור העריכה. זה ישפיע רק במקרה ואפשרות "השתמש בגופן ברירת-מחדל" לא נבחרה.
|
|
Translated by
Yair Hershkovitz
|
|
Reviewed by
Mark Krapivner
|
| In upstream: |
|
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.
|
|
|
Suggested by
Yair Hershkovitz
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:5
|
|
|
15.
|
|
|
Style Scheme
|
|
|
|
|
Style Scheme
|
|
Translated by
Yair Hershkovitz
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:47
|
|
|
16.
|
|
|
The ID of a GtkSourceView Style Scheme used to color the text.
|
|
|
|
|
The ID of a GtkSourceView Style Scheme used to color the text.
|
|
Translated by
Liel Fridman
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:48
|
|
|
17.
|
|
|
Create Backup Copies
|
|
|
|
|
צור עותקי גיבוי
|
|
Translated and reviewed by
Omri Strumza
|
| In upstream: |
|
Create Backup Copies
|
|
|
Suggested by
Yair Hershkovitz
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:52
|
|
|
18.
|
|
|
Whether gedit should create backup copies for the files it saves. You can set the backup file extension with the "Backup Copy Extension" option.
|
|
|
|
|
האם ליצור עותקי גיבוי למסמכים הנשמרים. ניתן לקבוע את סיומת קבצי הגיבוי בעזרת אפשרות "סיומת עותק גיבוי".
|
|
Translated by
Yair Hershkovitz
|
|
Reviewed by
Mark Krapivner
|
| In upstream: |
|
Whether gedit should create backup copies for the files it saves. You can set the backup file extension with the "Backup Copy Extension" option.
|
|
|
Suggested by
Yair Hershkovitz
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:9
|
|
|
19.
|
|
|
Autosave
|
|
|
|
|
Autosave
|
|
Translated by
Liel Fridman
|
|
|
|
Located in
data/org.gnome.gedit.gschema.xml.in:57
|
|
|
20.
|
|
|
Whether gedit should automatically save modified files after a time interval. You can set the time interval with the "Autosave Interval" option.
|
|
|
|
|
Whether gedit should automatically save modified files after a time interval. You can set the time interval with the "Autosave Interval" option.
|
|
Translated by
Liel Fridman
|
|
|
|
Located in
../data/org.gnome.gedit.gschema.xml.in.h:11
|
