toggle menu
gtk-kn
native
switch theme
search in API
gtk4
/
org.gtkkn.bindings.gtk
/
Widget
/
getMarginTop
get
Margin
Top
open
fun
getMarginTop
(
)
:
Int
Gets the top margin of @widget.
Return
The top margin of @widget