Gtk.ThemingEngine.prototype.get_border

function get_border(state:Gtk.StateFlags):void {
    // Gjs wrapper for gtk_theming_engine_get_border()
}