From dfc1a6f03549bdf589e2cd02da0ddefca492ea07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?joseLu=C3=ADs?= <joseluis@andamira.net>
Date: Tue, 4 Feb 2025 19:58:13 +0100
Subject: [PATCH] add missing glDeleteRenderbuffers function

---
 js/gl.js | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/js/gl.js b/js/gl.js
index 7357af3d..0a0c9b03 100644
--- a/js/gl.js
+++ b/js/gl.js
@@ -1089,6 +1089,20 @@ var importObject = {
                 GL.framebuffers[id] = null;
             }
         },
+        glDeleteRenderbuffers: function (n, renderbuffers) {
+            for (var i = 0; i < n; i++) {
+                var id = getArray(renderbuffers + i * 4, Uint32Array, 1)[0];
+                var buffer = GL.renderbuffers[id];
+
+                // From spec: "glDeleteRenderbuffers silently ignores 0's and names that do not
+                // correspond to existing renderbuffer objects."
+                if (!buffer) continue;
+
+                gl.deleteRenderbuffer(buffer);
+                buffer.name = 0;
+                GL.renderbuffers[id] = null;
+            }
+        },
         glDeleteTextures: function (n, textures) {
             for (var i = 0; i < n; i++) {
                 var id = getArray(textures + i * 4, Uint32Array, 1)[0];