☰
D
dejadoc
GID:GTK4
/
gtk.text_view
/
TextView.getTopMargin
🔍
☾
TextView.getTopMargin
int getTopMargin()
Gets the top margin for text in the text_view.
Returns
top margin in pixels