toggle menu
gtk-kn
native
switch theme
search in API
gtk4
/
org.gtkkn.bindings.gtk
/
TextView
/
getTopMargin
get
Top
Margin
open
fun
getTopMargin
(
)
:
Int
Gets the top margin for text in the @text_view.
Return
top margin in pixels