Gtk.Button.prototype.leave

function leave():void {
    // Gjs wrapper for gtk_button_leave()
}