|
|
1832.
|
|
|
Top Margin
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
gtk/gtktextview.c:903
|
|
|
1833.
|
|
|
Height of the top margin in pixels
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
gtk/gtktextview.c:906
|
|
|
1834.
|
|
|
Bottom Margin
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
gtk/gtktextview.c:924
|
|
|
1835.
|
|
|
Height of the bottom margin in pixels
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
gtk/gtktextview.c:925
|
|
|
1843.
|
|
|
Monospace
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
gtk/gtktextview.c:1061
|
|
|
1844.
|
|
|
Whether to use a monospace font
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
gtk/gtktextview.c:1062
|
|
|
2031.
|
|
|
Margin on Start
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
gtk/gtkwidget.c:1451
|
|
|
2032.
|
|
|
Pixels of extra space on the start
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
gtk/gtkwidget.c:1452
|
|
|
2033.
|
|
|
Margin on End
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
gtk/gtkwidget.c:1478
|
|
|
2034.
|
|
|
Pixels of extra space on the end
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
gtk/gtkwidget.c:1472
|
