☰
D
dejadoc
GID:GTKSOURCE5
/
gtksource.view
/
View.getRightMarginPosition
🔍
☾
View.getRightMarginPosition
uint getRightMarginPosition()
Gets the position of the right margin in the given view.
Returns
the position of the right margin.