Gtk.ThemingEngine.prototype.get_margin

function get_margin(state:Gtk.StateFlags):void {
    // Gjs wrapper for gtk_theming_engine_get_margin()
}