Gtk.Widget.prototype.get_margin_right

function get_margin_right():Number {
    // Gjs wrapper for gtk_widget_get_margin_right()
}