|
71.
|
|
|
HOME and END keys move to first/last non whitespace characters on line before going to the start/end of the line
|
|
|
|
HOME and END keys move to first/last non-whitespace characters on the line before going to the start/end of the line
|
|
Translated by
Benjamin Goodger
|
|
Reviewed by
David Lodge
|
In upstream: |
|
HOME and END keys move to first/last non whitespace characters on line before going to the start/end of the line
|
|
|
Suggested by
David Lodge
|
|
|
|
Located in
../gtksourceview/gtksourceview.c:279
|
|
79.
|
|
|
Color to use for the right margin line
|
|
|
|
Colour to use for the right margin line
|
|
Translated by
Benjamin Goodger
|
|
Reviewed by
David Lodge
|
In upstream: |
|
Color to use for the right margin line
|
|
|
Suggested by
David Lodge
|
|
|
|
Located in
../gtksourceview/gtksourceview.c:332
|
|
83.
|
|
|
Transparency of the margin overlay
|
|
|
|
Opacity of the margin overlay
|
|
Translated by
Benjamin Goodger
|
|
Reviewed by
David Lodge
|
In upstream: |
|
Transparency of the margin overlay
|
|
|
Suggested by
David Lodge
|
|
|
|
Located in
../gtksourceview/gtksourceview.c:366
|
|
85.
|
|
|
Color to use for drawing the margin overlay
|
|
|
|
Colour to use for drawing the margin overlay
|
|
Translated by
Benjamin Goodger
|
|
Reviewed by
David Lodge
|
In upstream: |
|
Color to use for drawing the margin overlay
|
|
|
Suggested by
David Lodge
|
|
|
|
Located in
../gtksourceview/gtksourceview.c:384
|