|
|
25.
|
|
|
Strip trailing spaces on file save
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:21
|
|
|
26.
|
|
|
Filter extraneous characters in DOS mode
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:22
|
|
|
27.
|
|
|
Wrap bookmarks search around
|
|
|
Next bookmark at the end of the file will jump to the first bookmark from the beginning
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:24
|
|
|
28.
|
|
|
Edge column
|
|
|
Column where a vertical line will be drawn to indicate that lines should not be longer
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:26
|
|
|
29.
|
|
|
Caret blink period in ms
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:27
|
|
|
30.
|
|
|
Editor caret (cursor) width in pixels
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:28
|
|
|
31.
|
|
|
Line numbers margin width in pixels
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:29
|
|
|
32.
|
|
|
Misc options
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:30
|
|
|
33.
|
|
|
Colors & Fonts
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:31
|
|
|
34.
|
|
|
Editor
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:32
|
