|
|
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
|
|
|
35.
|
|
|
Enable automatic indentation
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:33
|
|
|
36.
|
|
|
Maintain past Indentation
|
|
|
If the user presses enter, the indentation of the current line will automatically be added to the next line
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:35
|
|
|
37.
|
|
|
Pressing tab inserts indentation
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:36
|
|
|
38.
|
|
|
Pressing backspace un-indents
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:37
|
|
|
39.
|
|
|
Indent closing braces
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../plugins/scintilla/anjuta-editor-scintilla.ui.h:38
|
