Gtk.ThemingEngine.prototype.get_padding

function get_padding(state:Gtk.StateFlags):void {
    // Gjs wrapper for gtk_theming_engine_get_padding()
}